diff options
Diffstat (limited to 'config/adachip_config.gpr')
-rw-r--r-- | config/adachip_config.gpr | 52 |
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; |