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 168ae61bb88246e95553339a39546f18fff73593..aacd12c91ef294f6df389ef20c926d2576da58cb 100644 (file)
--- 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 b8f03354bdc2d7c94336ef604c2bfa123aef51b5..98a18ca067e279e75907b3ce58f9e6f54c036690 100644 (file)
--- 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() {