1 |
commit: ecbf57250a9e67afce63516df4497c2fb9f6fcec |
2 |
Author: Mark Wright <gienah <AT> gentoo <DOT> org> |
3 |
AuthorDate: Tue Jan 3 10:24:32 2017 +0000 |
4 |
Commit: Mark Wright <gienah <AT> gentoo <DOT> org> |
5 |
CommitDate: Tue Jan 3 10:25:02 2017 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ecbf5725 |
7 |
|
8 |
sci-mathematics/z3: Thanks to Daniel Gulotta for reporting. |
9 |
|
10 |
Fix 604450 z3-4.5.0 build fails if doxygen is not installed. Implement better |
11 |
fix for 604362 install for USE="python -doc", thanks to Toralf Forster for |
12 |
reporting. |
13 |
|
14 |
Gentoo-bug: 604450, 604362 |
15 |
|
16 |
Package-Manager: portage-2.3.3 |
17 |
|
18 |
sci-mathematics/z3/z3-4.4.1.ebuild | 2 +- |
19 |
sci-mathematics/z3/z3-4.5.0.ebuild | 13 ++++++++----- |
20 |
2 files changed, 9 insertions(+), 6 deletions(-) |
21 |
|
22 |
diff --git a/sci-mathematics/z3/z3-4.4.1.ebuild b/sci-mathematics/z3/z3-4.4.1.ebuild |
23 |
index 168ae61..aacd12c 100644 |
24 |
--- a/sci-mathematics/z3/z3-4.4.1.ebuild |
25 |
+++ b/sci-mathematics/z3/z3-4.4.1.ebuild |
26 |
@@ -110,7 +110,7 @@ src_install() { |
27 |
fi |
28 |
|
29 |
local DOCS=( "README" "RELEASE_NOTES" ) |
30 |
- einstalldocs |
31 |
+ use doc && einstalldocs |
32 |
} |
33 |
|
34 |
pkg_postinst() { |
35 |
|
36 |
diff --git a/sci-mathematics/z3/z3-4.5.0.ebuild b/sci-mathematics/z3/z3-4.5.0.ebuild |
37 |
index b8f0335..98a18ca 100644 |
38 |
--- a/sci-mathematics/z3/z3-4.5.0.ebuild |
39 |
+++ b/sci-mathematics/z3/z3-4.5.0.ebuild |
40 |
@@ -22,6 +22,7 @@ REQUIRED_USE="${PYTHON_REQUIRED_USE}" |
41 |
RDEPEND="${PYTHON_DEPS} |
42 |
gmp? ( dev-libs/gmp:0 )" |
43 |
DEPEND="${RDEPEND} |
44 |
+ doc? ( app-doc/doxygen ) |
45 |
java? ( >=virtual/jdk-1.8 )" |
46 |
|
47 |
S=${WORKDIR}/${PN}-${P} |
48 |
@@ -85,9 +86,11 @@ src_compile() { |
49 |
|
50 |
use java && java-pkg-simple_src_compile |
51 |
|
52 |
- pushd doc || die |
53 |
- ${EPYTHON} mk_api_doc.py || die |
54 |
- popd || die |
55 |
+ if use doc; then |
56 |
+ pushd doc || die |
57 |
+ ${EPYTHON} mk_api_doc.py || die |
58 |
+ popd || die |
59 |
+ fi |
60 |
} |
61 |
|
62 |
src_install() { |
63 |
@@ -121,8 +124,8 @@ src_install() { |
64 |
fi |
65 |
|
66 |
local DOCS=( "README.md" "RELEASE_NOTES" ) |
67 |
- local HTML_DOCS=( "doc/api/html" ) |
68 |
- einstalldocs |
69 |
+ local HTML_DOCS=( "doc/api/html/." ) |
70 |
+ use doc && einstalldocs |
71 |
} |
72 |
|
73 |
pkg_postinst() { |