mirror of
https://github.com/SHOGGOTH-SECTOR/sica-fondt.git
synced 2026-07-31 16:16:26 +00:00
37 lines
771 B
Plaintext
37 lines
771 B
Plaintext
project Mafiabot_Core is
|
|
|
|
for Source_Dirs use
|
|
("src",
|
|
"src/core",
|
|
"src/daemons",
|
|
"src/network",
|
|
"src/payloads",
|
|
"config",
|
|
"tests");
|
|
for Object_Dir use "obj";
|
|
for Exec_Dir use "bin";
|
|
for Main use ("mafiabot.adb", "engine_tests.adb");
|
|
|
|
package Compiler is
|
|
for Default_Switches ("Ada") use
|
|
("-gnat2022",
|
|
"-gnata",
|
|
"-gnatwa",
|
|
"-O2");
|
|
end Compiler;
|
|
|
|
-- Run: gnatprove -P mafiabot_core.gpr --level=2 --report=all
|
|
package Prove is
|
|
for Proof_Switches ("Ada") use
|
|
("-j0",
|
|
"--level=2",
|
|
"--report=all",
|
|
"--no-axiom-guard");
|
|
end Prove;
|
|
|
|
package Binder is
|
|
for Switches ("Ada") use ("-E");
|
|
end Binder;
|
|
|
|
end Mafiabot_Core;
|