aboutsummaryrefslogtreecommitdiffstats
path: root/config/adachip_config.gpr
diff options
context:
space:
mode:
Diffstat (limited to 'config/adachip_config.gpr')
-rw-r--r--config/adachip_config.gpr52
1 files changed, 0 insertions, 52 deletions
diff --git a/config/adachip_config.gpr b/config/adachip_config.gpr
deleted file mode 100644
index adaade1..0000000
--- a/config/adachip_config.gpr
+++ /dev/null
@@ -1,52 +0,0 @@
--- Configuration for adachip generated by Alire
-with "asfml.gpr";
-abstract project Adachip_Config is
- Crate_Version := "0.1.0-dev";
- Crate_Name := "adachip";
-
- Alire_Host_OS := "linux";
-
- Alire_Host_Arch := "x86_64";
-
- Alire_Host_Distro := "debian";
- Ada_Compiler_Switches := External_As_List ("ADAFLAGS", " ");
- Ada_Compiler_Switches := Ada_Compiler_Switches &
- (
- "-Og"
- ,"-gnat2022"
- ,"-ffunction-sections" -- Separate ELF section for each function
- ,"-fdata-sections" -- Separate ELF section for each variable
- ,"-g" -- Generate debug info
- ,"-gnatwa" -- Enable all warnings
- ,"-gnatw.X" -- Disable warnings for No_Exception_Propagation
- ,"-gnatVa" -- All validity checks
- ,"-gnaty3" -- Specify indentation level of 3
- ,"-gnatya" -- Check attribute casing
- ,"-gnatyA" -- Use of array index numbers in array attributes
- ,"-gnatyB" -- Check Boolean operators
- ,"-gnatyb" -- Blanks not allowed at statement end
- ,"-gnatyc" -- Check comments
- ,"-gnaty-d" -- Disable check no DOS line terminators present
- ,"-gnatye" -- Check end/exit labels
- ,"-gnatyf" -- No form feeds or vertical tabs
- ,"-gnatyh" -- No horizontal tabs
- ,"-gnatyi" -- Check if-then layout
- ,"-gnatyI" -- check mode IN keywords
- ,"-gnatyk" -- Check keyword casing
- ,"-gnatyl" -- Check layout
- ,"-gnatym" -- Check maximum line length
- ,"-gnatyn" -- Check casing of entities in Standard
- ,"-gnatyO" -- Check that overriding subprograms are explicitly marked as such
- ,"-gnatyp" -- Check pragma casing
- ,"-gnatyr" -- Check identifier references casing
- ,"-gnatyS" -- Check no statements after THEN/ELSE
- ,"-gnatyt" -- Check token spacing
- ,"-gnatyu" -- Check unnecessary blank lines
- ,"-gnatyx" -- Check extra parentheses
- ,"-gnatW8" -- UTF-8 encoding for wide characters
- );
-
- type Build_Profile_Kind is ("release", "validation", "development");
- Build_Profile : Build_Profile_Kind := "development";
-
-end Adachip_Config;