project Debug is
  for Object_Dir use "debug";
  for Main use ("main");

  package Builder is
    for Default_Switches ("Ada")
        use ("-g");
    for Executable ("main.adb") use "post_pre_condition";
  end Builder;

  package Compiler is
    for Default_Switches ("Ada")
       use ("-fstack-check",
            "-gnata",
            "-gnato",
            "-gnatE");
  end Compiler;
end Debug;