mirror of
https://github.com/AdaCore/AdaSAT.git
synced 2026-02-12 13:11:23 -08:00
36 lines
1.2 KiB
Plaintext
36 lines
1.2 KiB
Plaintext
library project AdaSAT is
|
|
type Build_Mode_Type is ("dev", "prod", "prof");
|
|
Build_Mode : Build_Mode_Type :=
|
|
external ("BUILD_MODE", external ("ADASAT_BUILD_MODE", "dev"));
|
|
|
|
type Library_Kind_Type is ("static", "relocatable", "static-pic");
|
|
Library_Kind_Param : Library_Kind_Type := external
|
|
("LIBRARY_TYPE", external ("ADASAT_LIBRARY_TYPE", "static"));
|
|
|
|
for Source_Dirs use ("src");
|
|
for Exec_Dir use "bin";
|
|
for Library_Dir use "lib/" & Library_Kind_Param & "/" & Build_Mode;
|
|
for Object_Dir use "obj/" & Library_Kind_Param & "/" & Build_Mode;
|
|
for Library_Name use "adasat";
|
|
for Library_Kind use Library_Kind_Param;
|
|
|
|
Common_Ada_Cargs := ("-gnatwa", "-gnatyg", "-fPIC");
|
|
|
|
package Compiler is
|
|
case Build_Mode is
|
|
when "dev" =>
|
|
for Default_Switches ("Ada") use
|
|
Common_Ada_Cargs & ("-g", "-O0", "-gnatwe", "-gnata");
|
|
|
|
when "prof" =>
|
|
for Default_Switches ("Ada") use
|
|
Common_Ada_Cargs
|
|
& ("-Og", "-ggdb", "-g3", "-fno-omit-frame-pointer");
|
|
|
|
when "prod" =>
|
|
for Default_Switches ("Ada") use
|
|
Common_Ada_Cargs & ("-g", "-Ofast", "-gnatp", "-gnatn2", "-flto");
|
|
end case;
|
|
end Compiler;
|
|
end AdaSAT;
|