You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
51 lines
2.2 KiB
51 lines
2.2 KiB
-- Configuration for codefirst_dockerproxy generated by Alire
|
|
with "aws.gpr";
|
|
abstract project Codefirst_Dockerproxy_Config is
|
|
Crate_Version := "0.1.0-dev";
|
|
Crate_Name := "codefirst_dockerproxy";
|
|
|
|
Alire_Host_OS := "linux";
|
|
|
|
Alire_Host_Arch := "x86_64";
|
|
|
|
Alire_Host_Distro := "ubuntu";
|
|
Ada_Compiler_Switches := External_As_List ("ADAFLAGS", " ");
|
|
Ada_Compiler_Switches := Ada_Compiler_Switches &
|
|
(
|
|
"-Og" -- Optimize for debug
|
|
,"-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
|
|
);
|
|
|
|
type Build_Profile_Kind is ("release", "validation", "development");
|
|
Build_Profile : Build_Profile_Kind := "development";
|
|
|
|
end Codefirst_Dockerproxy_Config;
|