projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fc664ad) | patch
sci-mathematics/z3: Thanks to Daniel Gulotta for reporting.
authorMark Wright <gienah@gentoo.org>
Tue, 3 Jan 2017 10:24:32 +0000 (21:24 +1100)
committerMark Wright <gienah@gentoo.org>
Tue, 3 Jan 2017 10:25:02 +0000 (21:25 +1100)
commitecbf57250a9e67afce63516df4497c2fb9f6fcec
tree626214a3aa3db23eb06128d636054e867d42949etree | snapshot
parentfc664adb14c403410dc75872f8dc83c17b7a2d2bcommit | diff
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
sci-mathematics/z3/z3-4.4.1.ebuild diff | blob | history
sci-mathematics/z3/z3-4.5.0.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.