project kernel is
    
    PROJECT_DIR := external("CHEDDAR_DIR") & "/src/";

    for Languages use ("Ada");

    for Source_Dirs use (PROJECT_DIR, 
		PROJECT_DIR & "config", 
		PROJECT_DIR & "basic_types", 
		PROJECT_DIR & "collection", 
		PROJECT_DIR & "tools", 
		PROJECT_DIR & "txt", 
		PROJECT_DIR & "unit_test", 
		PROJECT_DIR & "framework", 
		PROJECT_DIR & "framework/facade", 
		PROJECT_DIR & "framework/mils",
		PROJECT_DIR & "framework/network_analysis",
		PROJECT_DIR & "framework/architecture_generator", 
		PROJECT_DIR & "framework/arinc653", 
		PROJECT_DIR & "framework/cache_system_analysis", 
		PROJECT_DIR & "framework/cheddar_adl", 
		PROJECT_DIR & "framework/design_pattern_analysis", 
		PROJECT_DIR & "framework/feasibility_tests", 
		PROJECT_DIR & "framework/paes", 
		PROJECT_DIR & "framework/priority_assignment", 
		PROJECT_DIR & "framework/queueing_system", 
		PROJECT_DIR & "framework/random", 
		PROJECT_DIR & "framework/scheduling_simulator", 
		PROJECT_DIR & "framework/transformation", 
		PROJECT_DIR & "framework/scheduling_anomalies", 
		PROJECT_DIR & "../required_packages/xmlada"); 
    
    For Library_Kind use "static";
    for Library_Options use ("-L.", "-lbar");

    type Build_Type is ("Release", "Debug");
    Build : Build_Type := external ("Build", "Debug");

    package Binder is
       for Default_Switches ("Ada") use ("-static");
    end Binder;    

    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", "-static", "-largs");
            when "Release" =>
                KCompiler_Switches := ("-gnat12", "-O3", "-gnatn", "-funroll-loops", "-gnatf", "-gnato", "-fstack-check", "-gnata", "-static", "-largs"); -- , "-gnatwu"
        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;