diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2017-07-14 08:15:07 +0200 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2017-07-14 08:15:07 +0200 |
| commit | 1f17fa0e8afb8023952745db19b4aa607bb6431e (patch) | |
| tree | 5be8453004a5db965798ed96d44d66d531c80b48 /dev-ada/gnatcoll | |
| parent | www-servers/apache: arm stable, bug #624868 (diff) | |
| download | gentoo-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.ebuild | 13 |
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() { |