From 6c39c9088cf8d731747d6907de0178d122bd4e44 Mon Sep 17 00:00:00 2001
From: gravermistakes <250037217+gravermistakes@users.noreply.github.com>
Date: Sat, 30 May 2026 16:55:43 -0700
Subject: [PATCH] Delete mafiabot_core.gpr

Signed-off-by: gravermistakes <250037217+gravermistakes@users.noreply.github.com>
---
 mafiabot_core.gpr | 36 ------------------------------------
 1 file changed, 36 deletions(-)
 delete mode 100644 mafiabot_core.gpr

diff --git a/mafiabot_core.gpr b/mafiabot_core.gpr
deleted file mode 100644
index 9cb4d16..0000000
--- a/mafiabot_core.gpr
+++ /dev/null
@@ -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;