Menu
▾
▴
[03a9b8]: / wikibook / wikibook.gpr Maximize Restore History
30 lines (22 with data), 898 Bytes
with "config/wikibook_config.gpr";
project Wikibook is
for Library_Name use "Wikibook";
for Library_Version use Project'Library_Name & ".so." & Wikibook_Config.Crate_Version;
for Source_Dirs use ("src/", "config/");
for Object_Dir use "obj/" & Wikibook_Config.Build_Profile;
for Create_Missing_Dirs use "True";
for Library_Dir use "lib";
type Library_Type_Type is ("relocatable", "static", "static-pic");
Library_Type : Library_Type_Type :=
external ("WIKIBOOK_LIBRARY_TYPE", external ("LIBRARY_TYPE", "static"));
for Library_Kind use Library_Type;
package Compiler is
for Default_Switches ("Ada") use Wikibook_Config.Ada_Compiler_Switches;
end Compiler;
package Binder is
for Switches ("Ada") use ("-Es"); -- Symbolic traceback
end Binder;
package Install is
for Artifacts (".") use ("share");
end Install;
end Wikibook;
