patch for gprbuild (linker driver selection)

linker_driver-1.patch (text/plain), 996 bytes, created by Vadim Godunko on 2008-07-15 10:39:03 UTC

--- buildgpr.adb.orig	2008-07-13 00:27:32.207326401 +0400
+++ buildgpr.adb	2008-07-13 00:27:05.706012302 +0400
@@ -4167,6 +4167,28 @@
 
          end if;
 
+         declare
+            Linker_Package : Package_Id;
+            Driver         : Variable_Value;
+
+         begin
+            Linker_Package :=
+              Prj.Util.Value_Of
+                (Name        => Name_Linker,
+                 In_Packages => Data.Decl.Packages,
+                 In_Tree     => Project_Tree);
+
+            Driver :=
+              Prj.Util.Value_Of
+                (Name                    => Name_Roots,
+                 Attribute_Or_Array_Name => Name_Driver,
+                 In_Package              => Linker_Package,
+                 In_Tree                 => Project_Tree);
+
+            Put_Line (Exchange_File, Library_Label (Driver_Name));
+            Put_Line (Exchange_File, Prj.Util.Value_Of (Driver, ""));
+         end;
+
          Close (Exchange_File);
 
          declare