mirror of
https://github.com/SHOGGOTH-SECTOR/sica-fondt.git
synced 2026-07-31 16:16:26 +00:00
3918ed1c1a
- alire.toml rewritten to valid schema ([[depends-on]], real build-switch values); restrictions moved to gnat.adc - gnat.adc: project-wide Jorvik profile, No_Exceptions, No_Implicit_Dynamic_Code, SPARK_Mode On - mafiabot_core.gpr: source dirs, mains, global config pragmas - Engine: drop the caller-side precondition race on Transition_State; guard moved into the protected body with illegal transitions forcing Fault_Halt - Empty stubs (economy/sockets/exploits): drop Elaborate_Body so they no longer compile until implemented
19 lines
506 B
TOML
19 lines
506 B
TOML
name = "mafiabot_core"
|
|
version = "0.1.0"
|
|
description = "Sovereign cryptographic and economic routing engine"
|
|
authors = ["Glitch-Witch"]
|
|
maintainers = ["Glitch-Witch <redacted@dev.null>"]
|
|
maintainers-logins = ["glitch-witch"]
|
|
licenses = "MIT"
|
|
|
|
[[depends-on]]
|
|
gnat_sockets = "^1.0.0"
|
|
spark_lemmas = "^1.0.0"
|
|
|
|
# Build modes wildcard "*". Restrictions are NOT a build-switch: see gnat.adc.
|
|
[build-switches]
|
|
"*".ada_version = "Ada2022"
|
|
"*".style_checks = "Max"
|
|
"*".contracts = "Yes"
|
|
"*".runtime_checks = "None"
|