with "ocarina";


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";
    
end kernelWithParsers;