From a599be95f7bb23a01126830b4226bfca81f0098a Mon Sep 17 00:00:00 2001 From: gravermistakes Date: Wed, 22 Jul 2026 02:13:24 -0700 Subject: [PATCH] Delete core/config/core_config.gpr Signed-off-by: gravermistakes --- core/config/core_config.gpr | 28 ---------------------------- 1 file changed, 28 deletions(-) delete mode 100644 core/config/core_config.gpr diff --git a/core/config/core_config.gpr b/core/config/core_config.gpr deleted file mode 100644 index 9d038c6..0000000 --- a/core/config/core_config.gpr +++ /dev/null @@ -1,28 +0,0 @@ -abstract project Core_Config is - - for Source_Dirs use (); - - type Yes_No_Type is ("yes", "no"); - type Library_Type_Type is ("relocatable", "static", "static-pic"); - - Library_Type : Library_Type_Type := external ("CORE_LIBRARY_TYPE", "static"); - Static_Build : Yes_No_Type := external ("CORE_STATIC_BUILD", "yes"); - - package Compiler is - for Default_Switches ("Ada") use - ("-gnat2022", - "-gnatwa", - "-gnatwe", - "-gnatyyM", - "-gnaty3abcdefhijklmnoprstux", - "-Wall", - "-O2", - "-gnatf", - "-gnatpn"); - end Compiler; - - package Binder is - for Default_Switches ("Ada") use ("-Es"); - end Binder; - -end Core_Config;