Merge branch 'mr/thevenoux-langkit-query-language#568' into 'master'

GNATcheck: spawn worker with the default GPR project file

Closes #568

See merge request eng/libadalang/langkit-query-language!560

Author: thvnx

lkql_checker/src/gnatcheck-compiler.adb

@@ -1773,6 +1773,15 @@ package body Gnatcheck.Compiler is
             Num_Args := @ + 1;
             Args (Num_Args) := new String'("--ignore-project-switches");
          end if;
+      elsif Gnatcheck_Prj.Tree.Is_Defined
+        and then Gnatcheck_Prj.Tree.Root_Project.Path_Name.Exists
+      then
+         --  In case Prj has not been explicitly set, spawn the project option
+         --  with the default project file used by gpr.
+         Num_Args := @ + 1;
+         Args (Num_Args) :=
+           new String'
+             ("-P" & Gnatcheck_Prj.Tree.Root_Project.Path_Name.String_Value);
       end if;
 
       if Arg.Aggregated_Project then

testsuite/tests/gnatcheck/config_pragmas/prj.gpr

@@ -0,0 +1,7 @@
+project Prj is
+   for Source_Dirs use ("../.");
+
+   package Builder is
+      for Global_Configuration_Pragmas use "../gnat.adc";
+   end Builder;
+end Prj;

testsuite/tests/gnatcheck/config_pragmas/project/prj.gpr

@@ -5,9 +5,9 @@ rules_dirs:
 rules:
   - +Rfoo
 tests:
-  - project: prj.gpr
+  - project: project/prj.gpr
   - input_sources: [main.adb]
-  - project: prj.gpr
+  - project: project/prj.gpr
     jobs: 2
   - input_sources: [main.adb]
     jobs: 2

testsuite/tests/gnatcheck/config_pragmas/test.yaml

@@ -0,0 +1,3 @@
+project P is
+   for Source_Dirs use ("src");
+end P;

testsuite/tests/gnatcheck/implicit_project_spawn/p.gpr

@@ -0,0 +1,4 @@
+procedure Main is
+begin
+   null;
+end Name;

testsuite/tests/gnatcheck/implicit_project_spawn/src/main.adb

@@ -0,0 +1 @@
+<gnatcheck_worker_exe> -P<working-dir>/p.gpr --target=x86_64-linux -d --log-file=<working-dir>/gnatcheck-log1.TMP --files-from=<working-dir>/gnatcheck-files1.TMP --rules-from=<working-dir>/gnatcheck-rules0.TMP

testsuite/tests/gnatcheck/implicit_project_spawn/test.out

@@ -0,0 +1,7 @@
+driver: gnatcheck
+format: brief
+input_sources: [src/main.adb]
+rules:
+  - +Rsame_instantiations
+extra_args:
+  - -d