0.1.0
- Authors
- Paul Jarrett
- Maintainers
- Paul Jarrett <jarrett.paul.young@gmail.com>
- Licenses
- Apache-2.0
- Tags
- search, code, text
- Executables
- septum
- Manifest
- index/se/septum/septum-0.1.0.toml
Build and platform metadata 2 fields
- GPR values
{
"case(os)": {
"linux": {
"Septum_Platform": "linux"
},
"macos": {
"Septum_Platform": "macos"
},
"windows": {
"Septum_Platform": "windows"
}
}
}
- Build switches
{
"*": {
"Ada_Version": "Ada2022",
"Compile_Checks": "Errors",
"Style_Checks": [
"-gnaty-d",
"-gnatyM200",
"-gnatyO"
]
},
"Development": {
"Contracts": "Yes",
"Debug_Info": "Yes",
"Runtime_Checks": [
"-gnato",
"-fstack-check",
"-gnatVa"
]
},
"Release": {
"Contracts": "No",
"Debug_Info": "Yes",
"Runtime_Checks": "None"
}
}