source

sparklib

16.1.0

Companion libraries for SPARK programming

GitHub Community CIResults All crate versions Download JSON

16.1.0

SPARKlib is meant to provide users of SPARK libraries to use in SPARK code. SPARKlib contains various libraries, such as a wide range of containers, as well as lemmas to use directly in user code.

This version of SPARKlib is made for use with GNATprove FSF 16. Unlike what is specified in the AdaCore SPARK User's guide, you do not need to copy the sources to your project to use it - and in fact, it's not recommended when developing with Alire. This crate is usable as-is without special manipulations.

The SPARKlib is configurable through GPR external definitions:

  • SPARKLIB_MODE can be configured to light or full, defaults to full.
  • SPARKLIB_BUILD can be configured to Production, Assertions or Debug, defaults to Production.

You can set these with the [gpr-set-externals] section in your Alire manifest. Only set them as an end user of the crate (that is, when testing locally, or when developing a binary).

Authors
AdaCore
Maintainers
chouteau@adacore.com, sagaert@adacore.com
Maintainer profiles
@Fabien-Chouteau, @AldanTanneo
Licenses
Apache-2.0 WITH LLVM-exception
Website
https://github.com/AdaCore/SPARKlib
Repository
github.com/AdaCore/SPARKlib
Source revision
6d13c7145fa5
Project files
sparklib.gpr
Manifest
index/sp/sparklib/sparklib-16.1.0.toml
Build and platform metadata 5 fields
Configuration
{
  "disabled": true
}
GPR externals
{
  "SPARKLIB_BUILD": [
    "Production",
    "Assertions",
    "Debug"
  ],
  "SPARKLIB_MODE": [
    "light",
    "full"
  ]
}
GPR values
{
  "SPARKLIB_INSTALLED": "False"
}
Actions
[
  {
    "command": [
      "sed",
      "-i",
      "-e",
      "s/type SPARKlib_Library_Kind is (\"static\");/type SPARKlib_Library_Kind is (\"static\", \"static-pic\", \"relocatable\");/",
      "sparklib.gpr"
    ],
    "type": "post-fetch"
  },
  {
    "command": [
      "sed",
      "-i",
      "-e",
      "s/\"-gnatygo-u\"/\"-gnatygo-ud\"/",
      "sparklib_common.gpr"
    ],
    "type": "post-fetch"
  }
]
Conflicts
[
  {
    "gnatprove": "<16"
  }
]