Revert "Remove the 'Set_Default_Target' procedure"

This reverts commit 08e7887.

Author: HugoGGuerrier

lkql_checker/src/gnatcheck-projects.adb

@@ -797,6 +797,17 @@ package body Gnatcheck.Projects is
       GPR2.Project.Registry.Pack.Check_Attributes (+"Check");
    end Register_Tool_Attributes;
 
+   ------------------------
+   -- Set_Default_Target --
+   ------------------------
+
+   procedure Set_Default_Target is
+   begin
+      if not Gnatkp_Mode and then Should_Use_Codepeer_Target then
+         GPR2.KB.Set_Default_Target ("codepeer");
+      end if;
+   end Set_Default_Target;
+
    -------------------------
    -- Set_External_Values --
    -------------------------

lkql_checker/src/gnatcheck-projects.ads

@@ -324,6 +324,10 @@ package Gnatcheck.Projects is
    -- General project file processing --
    -------------------------------------
 
+   procedure Set_Default_Target;
+   --  If codepeer is on PATH, replaces default target with "codepeer",
+   --  does nothing in gnatkp mode.
+
    procedure Initialize_Environment;
    --  Initializes the environment for extracting the information from the
    --  project file. This includes setting the parameters specific for the

lkql_checker/src/gnatcheck_main.adb

@@ -462,6 +462,8 @@ begin
       end if;
    end if;
 
+   Gnatcheck.Projects.Set_Default_Target;
+
    --  If we have the project file specified as a tool parameter, analyze it.
 
    Gnatcheck.Projects.Process_Project_File (Gnatcheck_Prj);