Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/z3
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/z3: Drop oldMichał Górny2019-06-082-107/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Bump to 4.8.5Michał Górny2019-06-012-0/+107
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* */*: Remove python3_4 PYTHON_COMPAT correctlyMichał Górny2019-04-171-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Revert "Drop old"Michał Górny2019-04-103-0/+197
| | | | | | | This broke sci-mathematics/isabelle. Reverts: 6785f3b5e8a6e7969ed07ed59c5b2e7a82aea188. Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Drop oldMichał Górny2019-04-103-197/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Keyword 4.8.4 ~arm64Michał Górny2019-03-211-1/+1
| | | | | | Tested by NeddySeagoon. Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Drop oldMichał Górny2019-03-103-215/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Add ~arm keyword wrt bug #677862Mikle Kolyada2019-02-281-1/+1
| | | | | | Signed-off-by: Mikle Kolyada <zlogene@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11 RepoMan-Options: --include-arches="~arm"
* sci-mathematics/z3: keyworded 4.8.4 for ppc64, bug #677862Sergei Trofimovich2019-02-171-1/+1
| | | | | | Package-Manager: Portage-2.3.60, Repoman-2.3.12 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* sci-mathematics/z3: Bump to 4.8.4Michał Górny2019-02-132-0/+107
| | | | | Closes: https://bugs.gentoo.org/673506 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Enable multilib supportMichał Górny2019-01-091-0/+106
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Run testsMichał Górny2018-12-131-0/+7
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Enable python3Michał Górny2018-12-131-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Bump to 4.8.3, major ebuild overhaulMichał Górny2018-12-132-0/+102
| | | | | Closes: https://bugs.gentoo.org/644508 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Co-maintain (used by clang)Michał Górny2018-12-131-0/+3
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics: Update Manifest hashes.Ulrich Müller2017-12-101-2/+2
|
* sci-mathematics/z3: remove unused patchMichael Mair-Keimberger (asterix)2017-08-131-76/+0
| | | | Closes: https://github.com/gentoo/gentoo/pull/5370
* Globally add missing remote ID references to metadata.xmlJustin Lecher2017-04-291-6/+9
| | | | Signed-off-by: Justin Lecher <jlec@gentoo.org>
* sci-mathematics/z3: Use echo instead of elog.Mark Wright2017-04-262-3/+3
| | | | | | 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-282-2/+0
| | | | Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
* sci-mathematics/z3: workaround configure failure on non-ASCIISergei Trofimovich2017-02-161-2/+7
| | | | | | | | | | | On my LANG=ru_RU.UTF-8 locale configure step fails as: File "scripts/mk_make.py", line 21, in <module> ... UnicodeEncodeError: 'ascii' codec can't encode characters in position 80-82: ordinal not in range(128) Workaround configure breakage by stabilising locale. Package-Manager: Portage-2.3.3, Repoman-2.3.1
* sci-mathematics/z3: Fix examples install directory.Mark Wright2017-01-282-2/+2
| | | | Package-Manager: portage-2.3.3
* sci-mathematics/z3: Fix python API, thanks to Jonas Jelten for reporting.Mark Wright2017-01-282-13/+75
| | | | | | | | | | 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-032-6/+9
| | | | | | | | | | 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: Fix install for USE="python -doc", thanks to Toralf F?rsterMark Wright2017-01-031-5/+3
| | | | | | | | for reporting. Gentoo-bug: 604362 Package-Manager: portage-2.3.3
* sci-mathematics/z3: Thanks to Yichao Zhou, jlec and slyfox for developmentMark Wright2017-01-026-0/+416
on the z3 ebuilds. Thanks to David E. Narv?ez for reporting and patching. Gentoo-bug: 602498, 602600 Package-Manager: portage-2.3.3