gentoo-full-overlay/dev-ada/gprbuild/files/gprbuild-2017-gentoo.patch

23 lines
941 B
Diff

--- gprbuild-2017/gpr/gpr.gpr.old 2017-05-27 20:59:07.061135892 +0200
+++ gprbuild-2017/gpr/gpr.gpr 2017-05-27 20:59:38.022638398 +0200
@@ -67,6 +67,7 @@
for Switches ("gpr*.ad?") use
Compiler'Default_Switches ("Ada") & ("-g1");
end case;
+ for Driver ("C") use External ("CC", "gcc");
end Compiler;
end GPR;
--- gprbuild-17.0/src/gprbuild-post_compile.adb.old 2017-05-18 14:17:06.114797015 +0200
+++ gprbuild-17.0/src/gprbuild-post_compile.adb 2017-05-18 14:18:55.466956852 +0200
@@ -4744,7 +4744,9 @@
No_Create => Proj.Is_Aggregated);
end if;
- Shared_Libs := not Is_Static (Proj.Proj);
+ if not Is_Static (Proj.Proj) then
+ Shared_Libs := True;
+ end if;
end if;
end if;