diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2017-07-05 22:26:56 +0200 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2017-07-05 22:27:21 +0200 |
| commit | bbb0250a9d9849cf72b527b75205bc3107025546 (patch) | |
| tree | c0f436fc0c3c648142cdccb8685ad3394e3c3584 /dev-ada/gnatcoll/files | |
| parent | sys-libs/ldb: bump to v1.1.31 (diff) | |
| download | gentoo-bbb0250a9d9849cf72b527b75205bc3107025546.tar.gz gentoo-bbb0250a9d9849cf72b527b75205bc3107025546.tar.bz2 gentoo-bbb0250a9d9849cf72b527b75205bc3107025546.zip | |
dev-ada/gnatcoll: Add tools use flag to build gnatcoll_db2ada
Package-Manager: Portage-2.3.6, Repoman-2.3.1
Diffstat (limited to 'dev-ada/gnatcoll/files')
| -rw-r--r-- | dev-ada/gnatcoll/files/gnatcoll-2016-gentoo.patch | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/dev-ada/gnatcoll/files/gnatcoll-2016-gentoo.patch b/dev-ada/gnatcoll/files/gnatcoll-2016-gentoo.patch index a54a7c125667..1a1d4d14eec2 100644 --- a/dev-ada/gnatcoll/files/gnatcoll-2016-gentoo.patch +++ b/dev-ada/gnatcoll/files/gnatcoll-2016-gentoo.patch @@ -23,27 +23,6 @@ ####################################################################### # install -@@ -53,7 +53,7 @@ - ####################################################################### - # install - --GPRINST_OPTS=-p -f --prefix=${prefix} --install-name=gnatcoll \ -+GPRINST_OPTS=-p -f --prefix=$(DESTDIR)${prefix} --install-name=gnatcoll \ - --exec-subdir=${bindir} --project-subdir=lib/gnat \ - --build-var=LIBRARY_TYPE --build-name=$(@F) -XLIBRARY_TYPE=$(@F) - -@@ -73,9 +73,9 @@ - ${GPRINSTALL} --mode=usage ${GPRINST_OPTS} -Psrc/gnatcoll_tools - - install_gps_plugin: force -- mkdir -p $(prefix)/share/gps/plug-ins -+ mkdir -p $(DESTDIR)$(prefix)/share/gps/plug-ins - (cd distrib/ ; tar cf - gnatcoll) | \ -- (cd $(prefix)/share/gps/plug-ins ; tar xf -) -+ (cd $(DESTDIR)$(prefix)/share/gps/plug-ins ; tar xf -) - - # Regenerate part of the sources. Unfortunately, this can be run only after - # we have build GNATCOLL, and then its tools, even though GNATCOLL itself --- gnatcoll-gpl-2015-src/src/gnatcoll_gmp.gpr.in.old 2017-01-07 08:52:14.921110195 +0100 +++ gnatcoll-gpl-2015-src/src/gnatcoll_gmp.gpr.in 2017-01-07 08:55:35.718946607 +0100 @@ -24,6 +24,7 @@ |