Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/z3/z3-4.4.1.ebuild
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/z3: Revert "Drop old"Michał Górny2019-04-101-0/+178
| | | | | | | This broke sci-mathematics/isabelle. Reverts: 6785f3b5e8a6e7969ed07ed59c5b2e7a82aea188. Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Drop oldMichał Górny2019-04-101-178/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Use echo instead of elog.Mark Wright2017-04-261-1/+1
| | | | | | Thanks to mgorny for reporting and the fix, K_F, Blackb|rd and Arfrever for helping. Package-Manager: portage-2.3.5
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
| | | | Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
* sci-mathematics/z3: Fix examples install directory.Mark Wright2017-01-281-1/+1
| | | | Package-Manager: portage-2.3.3
* sci-mathematics/z3: Fix python API, thanks to Jonas Jelten for reporting.Mark Wright2017-01-281-7/+44
| | | | | | | | | | Create shared library soname symlinks. Add examples USE flag. Add || die on cat of files, except in pkg_postinst() where we want it to ignore any errors. Gentoo-Bug: 605892 Package-Manager: portage-2.3.3
* sci-mathematics/z3: Thanks to Daniel Gulotta for reporting.Mark Wright2017-01-031-1/+1
| | | | | | | | | | 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: Thanks to Yichao Zhou, jlec and slyfox for developmentMark Wright2017-01-021-0/+142
on the z3 ebuilds. Thanks to David E. Narv?ez for reporting and patching. Gentoo-bug: 602498, 602600 Package-Manager: portage-2.3.3