project kernel is
    
    for Languages use ("Ada");

    for Source_Dirs use (".", "config", "reusable", "tools", "txt", "framework", "framework/architecture_generator", "framework/arinc653", "framework/cache_system", "framework/cheddar_adl", "framework/design_pattern_analyzer", "framework/feasibility_tests", "framework/optimizations", "framework/priority_assignment", "framework/queueing_system", "framework/random", "framework/scheduling_simulator", "framework/transformation", "../required_packages/xmlada", "../required_packages/bigNumber");
    
    type Build_Type is ("Release", "Debug");
    Build : Build_Type := external ("Build", "Debug");
    
    package Linker is
        KLinker_Switches := ("");
        for Linker_Options use ();

        for Default_Switches ("ada") use KLinker_Switches;
    end Linker;

    package Compiler is
        KCompiler_Switches := ();
        
        case Build is
            when "Debug" =>
                KCompiler_Switches := ("-gnat12", "-gnatf", "-gnato", "-fstack-check", "-g", "-gnata");
            when "Release" =>
                KCompiler_Switches := ("-gnat12", "-O3", "-gnatn", "-funroll-loops", "-gnatf", "-gnato", "-fstack-check", "-gnata");
        end case;

        for Default_Switches ("ada") use KCompiler_Switches;
    end Compiler;
   
    package Builder is
        KBuilder_Switches := ();
        case Build is
            when "Debug" =>
                KBuilder_Switches := ("-s", "-m", "-k", "-g");
            when "Release" =>
                KBuilder_Switches := ("-s", "-m");
        end case;

        for Default_Switches ("ada") use KBuilder_Switches;
    end Builder;

    package Ide is
    end Ide;

    package Naming is
        for Specification_Suffix ("makefile") use "Makefile";
        for Specification_Suffix ("xml") use ".xml";
    end Naming;
 
end kernel;