15.1.0
- Authors
- AdaCore
- Maintainers
- chouteau@adacore.com, sagaert@adacore.com
- Licenses
- Apache-2.0 WITH LLVM-exception
- Project files
- sparklib.gpr
- Manifest
- index/sp/sparklib/sparklib-15.1.0.toml
Build and platform metadata 5 fields
- Configuration
{
"disabled": true
}
- GPR externals
{
"SPARKLIB_INSTALLED": [
"True",
"False"
]
}
- GPR values
{
"SPARKLIB_INSTALLED": "False"
}
- Actions
[
{
"command": [
"sed",
"-i",
"-e",
"s/for Object_Dir use \"obj\"/for Object_Dir use \"sparklib_obj\"/",
"sparklib.gpr"
],
"type": "post-fetch"
}
]
- Conflicts
[
{
"gnatprove": "<15"
}
]