|
| 1 | +-- Configuration for hello generated by Alire |
| 2 | +with "libhello.gpr"; |
| 3 | +abstract project Hello_Config is |
| 4 | + Crate_Version := "1.0.2"; |
| 5 | + Crate_Name := "hello"; |
| 6 | + |
| 7 | + Alire_Host_OS := "linux"; |
| 8 | + |
| 9 | + Alire_Host_Arch := "x86_64"; |
| 10 | + |
| 11 | + Alire_Host_Distro := "ubuntu"; |
| 12 | + Ada_Compiler_Switches := External_As_List ("ADAFLAGS", " "); |
| 13 | + Ada_Compiler_Switches := Ada_Compiler_Switches & |
| 14 | + ( |
| 15 | + "-Og" -- Optimize for debug |
| 16 | + ,"-ffunction-sections" -- Separate ELF section for each function |
| 17 | + ,"-fdata-sections" -- Separate ELF section for each variable |
| 18 | + ,"-g" -- Generate debug info |
| 19 | + ,"-gnatwa" -- Enable all warnings |
| 20 | + ,"-gnatw.X" -- Disable warnings for No_Exception_Propagation |
| 21 | + ,"-gnatVa" -- All validity checks |
| 22 | + ,"-gnaty3" -- Specify indentation level of 3 |
| 23 | + ,"-gnatya" -- Check attribute casing |
| 24 | + ,"-gnatyA" -- Use of array index numbers in array attributes |
| 25 | + ,"-gnatyB" -- Check Boolean operators |
| 26 | + ,"-gnatyb" -- Blanks not allowed at statement end |
| 27 | + ,"-gnatyc" -- Check comments |
| 28 | + ,"-gnaty-d" -- Disable check no DOS line terminators present |
| 29 | + ,"-gnatye" -- Check end/exit labels |
| 30 | + ,"-gnatyf" -- No form feeds or vertical tabs |
| 31 | + ,"-gnatyh" -- No horizontal tabs |
| 32 | + ,"-gnatyi" -- Check if-then layout |
| 33 | + ,"-gnatyI" -- check mode IN keywords |
| 34 | + ,"-gnatyk" -- Check keyword casing |
| 35 | + ,"-gnatyl" -- Check layout |
| 36 | + ,"-gnatym" -- Check maximum line length |
| 37 | + ,"-gnatyn" -- Check casing of entities in Standard |
| 38 | + ,"-gnatyO" -- Check that overriding subprograms are explicitly marked as such |
| 39 | + ,"-gnatyp" -- Check pragma casing |
| 40 | + ,"-gnatyr" -- Check identifier references casing |
| 41 | + ,"-gnatyS" -- Check no statements after THEN/ELSE |
| 42 | + ,"-gnatyt" -- Check token spacing |
| 43 | + ,"-gnatyu" -- Check unnecessary blank lines |
| 44 | + ,"-gnatyx" -- Check extra parentheses |
| 45 | + ); |
| 46 | + |
| 47 | + type Build_Profile_Kind is ("release", "validation", "development"); |
| 48 | + Build_Profile : Build_Profile_Kind := "development"; |
| 49 | + |
| 50 | +end Hello_Config; |
0 commit comments