saint-graves/sica-fondt
1
0
Fork 0
mirror of https://github.com/SHOGGOTH-SECTOR/sica-fondt.git synced 2026-07-31 16:16:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

Delete mafiabot_core.gpr

Browse Source 
Signed-off-by: gravermistakes <250037217+gravermistakes@users.noreply.github.com>
This commit is contained in:
gravermistakes 2026-05-30 16:55:43 -07:00 committed by GitHub
parent 5953ccf828
commit 6c39c9088c
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 0 additions and 36 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
mafiabot_core.gpr
View File

@ -1,36 +0,0 @@
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;