diff options
| author |   Mark Wright <gienah@gentoo.org> | 2017-01-03 00:48:33 +1100 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2017-01-03 00:48:33 +1100 |
| commit | 7949c35cc55beb75a3d9bb6d7c62430ac52d7c81 (patch) | |
| tree | a22e4e7fa00617c35ffbb2ce0af8bf0a5543f1d4 /sci-mathematics | |
| parent | www-apps/wordpress: remove older version in 4.6 branch (diff) | |
| download | gentoo-7949c35cc55beb75a3d9bb6d7c62430ac52d7c81.tar.gz gentoo-7949c35cc55beb75a3d9bb6d7c62430ac52d7c81.tar.bz2 gentoo-7949c35cc55beb75a3d9bb6d7c62430ac52d7c81.zip | |
sci-mathematics/z3: Fix install for USE="python -doc", thanks to Toralf F?rster
for reporting.
Gentoo-bug: 604362
Package-Manager: portage-2.3.3
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/z3/z3-4.5.0.ebuild | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/sci-mathematics/z3/z3-4.5.0.ebuild b/sci-mathematics/z3/z3-4.5.0.ebuild index 58d2b6b6832c..b8f03354bdc2 100644 --- a/sci-mathematics/z3/z3-4.5.0.ebuild +++ b/sci-mathematics/z3/z3-4.5.0.ebuild @@ -85,11 +85,9 @@ src_compile() { use java && java-pkg-simple_src_compile - if use doc; then - pushd doc || die - ${EPYTHON} mk_api_doc.py || die - popd || die - fi + pushd doc || die + ${EPYTHON} mk_api_doc.py || die + popd || die } src_install() { |