summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTupone Alfredo <tupone@gentoo.org>2017-07-14 08:15:07 +0200
committerTupone Alfredo <tupone@gentoo.org>2017-07-14 08:15:07 +0200
commit1f17fa0e8afb8023952745db19b4aa607bb6431e (patch)
tree5be8453004a5db965798ed96d44d66d531c80b48 /dev-ada/gnatcoll
parentwww-servers/apache: arm stable, bug #624868 (diff)
downloadgentoo-1f17fa0e8afb8023952745db19b4aa607bb6431e.tar.gz
gentoo-1f17fa0e8afb8023952745db19b4aa607bb6431e.tar.bz2
gentoo-1f17fa0e8afb8023952745db19b4aa607bb6431e.zip
dev-ada/gnatcoll: Fix build of gnatcoll-2016
Package-Manager: Portage-2.3.6, Repoman-2.3.1
Diffstat (limited to 'dev-ada/gnatcoll')
-rw-r--r--dev-ada/gnatcoll/gnatcoll-2016.ebuild13
1 files changed, 0 insertions, 13 deletions
diff --git a/dev-ada/gnatcoll/gnatcoll-2016.ebuild b/dev-ada/gnatcoll/gnatcoll-2016.ebuild
index 165b27e6abd0..0617d779296a 100644
--- a/dev-ada/gnatcoll/gnatcoll-2016.ebuild
+++ b/dev-ada/gnatcoll/gnatcoll-2016.ebuild
@@ -101,10 +101,6 @@ src_compile() {
emake PROCESSORS=$(makeopts_jobs) GPRBUILD_OPTIONS=-v GCC=${GCC} \
build_library_type/static
fi
- if use tools; then
- emake PROCESSORS=$(makeopts_jobs) GPRBUILD_OPTIONS=-v GCC=${GCC} \
- build_tools/static
- fi
python_fix_shebang .
}
@@ -115,18 +111,9 @@ src_install() {
if use static; then
emake prefix="${D}usr" install_library_type/static
fi
- if use tools; then
- emake prefix="${D}usr" install_tools/static
- fi
emake prefix="${D}usr" install_gps_plugin
einstalldocs
dodoc -r features-* known-problems-*
- mv "${D}"/usr/share/doc/${PN}/GNATColl.pdf "${D}"/usr/share/doc/${PF}/
- mv "${D}"/usr/share/doc/${PN}/html/html "${D}"/usr/share/doc/${PF}/
- mv "${D}"/usr/share/examples/${PN} "${D}"/usr/share/doc/${PF}/examples
- rm -rf "${D}"/usr/share/doc/${PN}
- rmdir "${D}"/usr/share/examples
- docompress -x /usr/share/doc/${PF}/examples
}
src_test() {