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 /www-apps | |
| 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 'www-apps')
0 files changed, 0 insertions, 0 deletions