diff options
Diffstat (limited to 'dev-ada/gtkada/files/gtkada-2019-gentoo.patch')
| -rw-r--r-- | dev-ada/gtkada/files/gtkada-2019-gentoo.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-ada/gtkada/files/gtkada-2019-gentoo.patch b/dev-ada/gtkada/files/gtkada-2019-gentoo.patch new file mode 100644 index 000000000000..79f58a41b2d1 --- /dev/null +++ b/dev-ada/gtkada/files/gtkada-2019-gentoo.patch @@ -0,0 +1,11 @@ +--- a/Makefile.in 2019-09-21 18:47:40.749628914 +0200 ++++ b/Makefile.in 2019-09-21 18:48:08.547200073 +0200 +@@ -30,7 +30,7 @@ + + GPRBUILD_FULL = ${GPRBUILD} -j${PROCESSORS} -m -p ${GPRBUILD_SWITCHES} + GPRINSTALL_FULL = ${GPRINSTALL} -p -f --project-subdir=$(PRJDIR) \ +- --build-var=GTKADA_BUILD,LIBRARY_TYPE --install-name=gtkada \ ++ --build-var=LIBRARY_TYPE --install-name=gtkada \ + --prefix=${DESTDIR}$(prefix) -XGTK_PREFIX=${prefix} + + GETTEXT_INTL=@GETTEXT_INTL@ |