2.1.2
- Authors
- John Serock
- Maintainers
- john.serock@gmail.com
- Licenses
- GPL-3.0-or-later
- Tags
- powerline
- Project files
- pla_util.gpr
- Executables
- pla-util
- Availability
- {"case(os)": {"...": false, "linux": true}}
- Manifest
- index/pl/pla_util/pla_util-2.1.2.toml
Build and platform metadata 2 fields
- Configuration
{
"generate_c": false
}
- Build switches
{
"*": {
"ada_version": "ada12",
"contracts": "yes",
"debug_info": [
"-g",
"-gnateE"
],
"runtime_checks": [
"-gnato",
"-fstack-check",
"-fstack-protector-strong"
]
},
"development": {
"compile_checks": [
"-Wall",
"-gnatVa",
"-gnatwd",
"-gnatwh",
"-gnatw.h",
"-gnatw.j",
"-gnatw.k",
"-gnatwl",
"-gnatw.l",
"-gnatwo",
"-gnatw.o",
"-gnatw.q",
"-gnatw_q",
"-gnatw_r",
"-gnatw.s",
"-gnatwt",
"-gnatw.u",
"-gnatw.w"
],
"optimization": [
"-Og"
],
"style_checks": [
"-gnaty3aAbBcdefhiIklnoOprsStux"
]
},
"release": {
"optimization": [
"-O3",
"-gnatn"
]
},
"validation": {
"optimization": [
"-O3",
"-gnatn"
]
}
}