Lambda/config/lambda_config.gpr
2026-02-24 20:23:01 +01:00

24 lines
820 B
Text

-- Configuration for lambda generated by Alire
abstract project Lambda_Config is
Crate_Version := "0.1.0-dev";
Crate_Name := "lambda";
Alire_Host_OS := "linux";
Alire_Host_Arch := "x86_64";
Alire_Host_Distro := "fedora";
Ada_Compiler_Switches := External_As_List ("ADAFLAGS", " ");
Ada_Compiler_Switches := Ada_Compiler_Switches &
(
"-O3" -- Optimize for performance
,"-gnatn" -- Enable inlining
,"-ffunction-sections" -- Separate ELF section for each function
,"-fdata-sections" -- Separate ELF section for each variable
,"-gnatW8" -- UTF-8 encoding for wide characters
);
type Build_Profile_Kind is ("release", "validation", "development");
Build_Profile : Build_Profile_Kind := "release";
end Lambda_Config;