project kernelWithParsers extends "kernel.gpr" is
    for Source_Dirs use ("framework/parsers", "../required_packages/ocarina/aadl", "../required_packages/ocarina/core", "../required_packages/ocarina/config", "../required_packages/ocarina/dia", "../required_packages/ocarina/dumper", "../required_packages/ocarina/generators", "../required_packages/ocarina/pn", "../required_packages/ocarina/gaia");

    -- dummy Object_Dir
    for Object_Dir use "binaries/objects";
    
    package Linker is
        for Linker_Options use ();

        for Default_Switches ("ada") use ("-L../required_packages/ocarina/lib", "-locarina", "-locarina-aadl", "-locarina-checker", "-locarina-config", "-locarina-dumper", "-locarina-gaia", "-locarina-generators", "-locarina-pn") & kernel.Linker.KLinker_Switches;
    end Linker;
end kernelWithParsers;