[gentoo-commits] repo/gentoo:master commit in: dev-ada/gnatcoll/

["Alfredo Tupone" <tupone@gentoo.org>]

commit:     1f17fa0e8afb8023952745db19b4aa607bb6431e
Author:     Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Fri Jul 14 06:15:07 2017 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Fri Jul 14 06:15:07 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1f17fa0e

dev-ada/gnatcoll: Fix build of gnatcoll-2016

Package-Manager: Portage-2.3.6, Repoman-2.3.1

 dev-ada/gnatcoll/gnatcoll-2016.ebuild | 13 -------------
 1 file changed, 13 deletions(-)

diff --git a/dev-ada/gnatcoll/gnatcoll-2016.ebuild b/dev-ada/gnatcoll/gnatcoll-2016.ebuild
index 165b27e6abd..0617d779296 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() {