diff options
Diffstat (limited to 'dev-ada/gnatcoll-bindings/files/gnatcoll-bindings-2018-gentoo.patch')
| -rw-r--r-- | dev-ada/gnatcoll-bindings/files/gnatcoll-bindings-2018-gentoo.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-ada/gnatcoll-bindings/files/gnatcoll-bindings-2018-gentoo.patch b/dev-ada/gnatcoll-bindings/files/gnatcoll-bindings-2018-gentoo.patch new file mode 100644 index 000000000000..9f37fea65eb9 --- /dev/null +++ b/dev-ada/gnatcoll-bindings/files/gnatcoll-bindings-2018-gentoo.patch @@ -0,0 +1,11 @@ +--- a/gmp/gnatcoll_gmp.gpr 2018-06-18 21:48:15.289991113 +0200 ++++ b/gmp/gnatcoll_gmp.gpr 2018-06-18 21:48:46.869507399 +0200 +@@ -65,7 +65,7 @@ + for Switches ("Ada") use ("-O2", "-gnatn", "-gnatwaCJ"); + for Switches ("C") use ("-O2", "-Wunreachable-code"); + end case; +- ++ for Driver ("C") use External ("GCC", "gcc"); + end Compiler; + + package Binder is |