project Default is
    for Main use ("main.adb");
end Default;
