run_aida_tests.gpr

with "ahven";

project Run_Aida_Tests is

   for Source_Dirs use ("src/tests");
   for Object_Dir use "obj";
   for Exec_Dir use "bin";
   for Main use ("run_aida_tests.adb");

   for Create_Missing_Dirs use "true";
   --  To be able to compile this gpr file with
   --  "gprbuild run_aida_tests.gpr" instead of
   --  "gprbuild -p run_aida_tests.gpr"

   package Builder is
      for Default_Switches ("ada") use ("-j4");
   end Builder;

   package Compiler is
      for Default_Switches ("ada") use
        ("-gnat12",
         "-g",
         "-gnatf",                     --  Full, verbose error messages
         "-gnatwa",                    --  All optional warnings
         "-gnatVa",                    --  All validity checks
         "-gnatwe",                    --  Treat warnings as errors
         "-gnata",                     --  Enable assertions
         "-Wall"                       --  All GCC warnings
        );
   end Compiler;

   package Linker is
      for Default_Switches ("ada") use ("-g");
   end Linker;

   package Binder is
      for Default_Switches ("ada") use ("-Es");
   end Binder;

end Run_Aida_Tests;