From: Mark Wright <gienah@gentoo.org>
Date: Tue, 3 Jan 2017 10:24:32 +0000 (+1100)
Subject: sci-mathematics/z3: Thanks to Daniel Gulotta for reporting.
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=ecbf57250a9e67afce63516df4497c2fb9f6fcec;p=gentoo.git

sci-mathematics/z3: Thanks to Daniel Gulotta for reporting.

Fix 604450 z3-4.5.0 build fails if doxygen is not installed.  Implement better
fix for 604362 install for USE="python -doc", thanks to Toralf Forster for
reporting.

Gentoo-bug: 604450, 604362

Package-Manager: portage-2.3.3
---

diff --git a/sci-mathematics/z3/z3-4.4.1.ebuild b/sci-mathematics/z3/z3-4.4.1.ebuild
index 168ae61bb882..aacd12c91ef2 100644
--- a/sci-mathematics/z3/z3-4.4.1.ebuild
+++ b/sci-mathematics/z3/z3-4.4.1.ebuild
@@ -110,7 +110,7 @@ src_install() {
 	fi
 
 	local DOCS=( "README" "RELEASE_NOTES" )
-	einstalldocs
+	use doc && einstalldocs
 }
 
 pkg_postinst() {
diff --git a/sci-mathematics/z3/z3-4.5.0.ebuild b/sci-mathematics/z3/z3-4.5.0.ebuild
index b8f03354bdc2..98a18ca067e2 100644
--- a/sci-mathematics/z3/z3-4.5.0.ebuild
+++ b/sci-mathematics/z3/z3-4.5.0.ebuild
@@ -22,6 +22,7 @@ REQUIRED_USE="${PYTHON_REQUIRED_USE}"
 RDEPEND="${PYTHON_DEPS}
 	gmp? ( dev-libs/gmp:0 )"
 DEPEND="${RDEPEND}
+	doc? ( app-doc/doxygen )
 	java? ( >=virtual/jdk-1.8 )"
 
 S=${WORKDIR}/${PN}-${P}
@@ -85,9 +86,11 @@ src_compile() {
 
 	use java && java-pkg-simple_src_compile
 
-	pushd doc || die
-	${EPYTHON} mk_api_doc.py || die
-	popd || die
+	if use doc; then
+		pushd doc || die
+		${EPYTHON} mk_api_doc.py || die
+		popd || die
+	fi
 }
 
 src_install() {
@@ -121,8 +124,8 @@ src_install() {
 	fi
 
 	local DOCS=( "README.md" "RELEASE_NOTES" )
-	local HTML_DOCS=( "doc/api/html" )
-	einstalldocs
+	local HTML_DOCS=( "doc/api/html/." )
+	use doc && einstalldocs
 }
 
 pkg_postinst() {