emulatorkit.gpr

project EmulatorKit is

   for Source_Dirs use ("src");
   for Object_Dir use "obj";
   for Main use ("main.adb");
   type Build_Mode_Type is
      ("Test_Coverage", "Optimized_With_Checks");
   Build_Mode : Build_Mode_Type := external ("Build_Mode", "Optimized_With_Checks");

   package Compiler is

      case Build_Mode is

         when "Test_Coverage" =>
            for Default_Switches ("ada") use ("-gnatwea.w.s.k.fhl", "-gnatVa", "-gnatytIkxuSrpOnlihfeBbAa", "-g", "-fstack-check", "-gnat12", "-gnato", "-gnata", "-gnatf", "-ftest-coverage", "-fprofile-arcs");

         when "Optimized_With_Checks" =>
            for Default_Switches ("ada") use ("-gnatwea.w.s.k.fhl", "-gnatVa", "-gnatytIkxuSrpOnlihfeBbAa", "-g", "-fstack-check", "-gnat12", "-gnato", "-gnata", "-O3", "-gnatn", "-funroll-loops", "-gnatf");
      end case;
   end Compiler;

   package Builder is
      for Default_Switches ("ada") use ("-s", "-g", "-k", "-j4");
   end Builder;

   package Linker is

      case Build_Mode is

         when "Test_Coverage" =>
            for Default_Switches ("ada") use ("-g", "-fprofile-generate");

         when "Optimized_With_Checks" =>
            for Default_Switches ("ada") use ("-g");
      end case;
   end Linker;

   package Binder is

      case Build_Mode is

         when "Test_Coverage" =>
            for Default_Switches ("ada") use ("-E");

         when "Optimized_With_Checks" =>
            for Default_Switches ("ada") use ("-E");

      end case;
   end Binder;

end EmulatorKit;