diff options
Diffstat (limited to 'dev-ada/gps/files/gps-2018-gentoo.patch')
| -rw-r--r-- | dev-ada/gps/files/gps-2018-gentoo.patch | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/dev-ada/gps/files/gps-2018-gentoo.patch b/dev-ada/gps/files/gps-2018-gentoo.patch index 06a080b69d56..6e258bac36a0 100644 --- a/dev-ada/gps/files/gps-2018-gentoo.patch +++ b/dev-ada/gps/files/gps-2018-gentoo.patch @@ -75,43 +75,3 @@ <string /> </project_attribute> ---- a/gnatcoll_extras/gnatcoll_extras.gpr 2018-07-22 14:42:17.618161040 +0200 -+++ b/gnatcoll_extras/gnatcoll_extras.gpr 2018-07-22 14:43:33.973070921 +0200 -@@ -14,6 +14,7 @@ - for Switches ("C") use - ("-g", "-O2") - & Shared.Gtk_Cflags & Shared.Pygobject_Include & Shared.Python_Cflags; -+ for Driver ("C") use External ("CC", "gcc"); - end Compiler; - - end GNATCOLL_Extras; ---- a/widgets/widgets.gpr 2018-07-22 21:46:23.907355738 +0200 -+++ b/widgets/widgets.gpr 2018-07-22 21:47:02.673825994 +0200 -@@ -14,6 +14,7 @@ - for Switches ("C") use - ("-g", "-O2") - & Shared.Gtk_Cflags; -+ for Driver ("C") use External ("CC", "gcc"); - end Compiler; - - end Widgets; ---- a/common/common.gpr.in 2018-07-25 08:05:45.227060250 +0200 -+++ b/common/common.gpr.in 2018-07-25 08:06:55.067009811 +0200 -@@ -23,6 +23,7 @@ - for Switches ("dynamic_arrays.adb") use No_Checks; - when "Debug" => - end case; -+ for Driver ("C") use External ("CC", "gcc"); - end Compiler; - - package Binder is ---- a/shared.gpr.in 2018-07-25 08:11:47.317597391 +0200 -+++ b/shared.gpr.in 2018-07-25 08:10:56.774362671 +0200 -@@ -60,6 +60,7 @@ - ); - for Switches ("C") use Optimize & ("-g", "-O2"); - end case; -+ for Driver ("C") use External ("CC", "gcc"); - end Compiler; - - package Binder is |