diff options
| author |   Mark Wright <gienah@gentoo.org> | 2017-01-03 21:24:32 +1100 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2017-01-03 21:25:02 +1100 |
| commit | ecbf57250a9e67afce63516df4497c2fb9f6fcec (patch) | |
| tree | 626214a3aa3db23eb06128d636054e867d42949e /sci-mathematics/z3/z3-4.4.1.ebuild | |
| parent | x11-libs/motif: Do not add -g to the user's CFLAGS. (diff) | |
| download | gentoo-ecbf57250a9e67afce63516df4497c2fb9f6fcec.tar.gz gentoo-ecbf57250a9e67afce63516df4497c2fb9f6fcec.tar.bz2 gentoo-ecbf57250a9e67afce63516df4497c2fb9f6fcec.zip | |
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
Diffstat (limited to 'sci-mathematics/z3/z3-4.4.1.ebuild')
| -rw-r--r-- | sci-mathematics/z3/z3-4.4.1.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
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() { |