sci-mathematics / z3

An efficient theorem prover

Official package sites : https://github.com/Z3Prover/z3/ ·

Z3 is an efficient Satisfiability Modulo Theories (SMT) solver from Microsoft Research. Z3 is a solver for symbolic logic, a foundation for many software engineering tools. SMT solvers rely on a tight integration of specialized engines of proof. Each engine owns a piece of the global puzzle and implements specialized algorithms. For example, Z3’s engine for arithmetic integrates Simplex, cuts and polynomial reasoning, while an engine for strings are regular expressions integrate methods for symbolic derivatives of regular languages. A theme shared among many of the algorithms is how they exploit a duality between finding satisfying solutions and finding refutation proofs. The solver also integrates engines for global and local inferences and global propagation. Z3 is used in a wide range of software engineering applications, ranging from program verification, compiler validation, testing, fuzzing using dynamic symbolic execution, model-based software development, network verification, and optimization.

v4.13.0 :: 0/4.13 :: gentoo

Modified
License
MIT
Keywords
amd64 arm arm64 ppc64 sparc x86 ~loong ~mips ~ppc ~riscv
USE flags
doc examples gmp isabelle java python

General

doc
Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
examples
Install examples, usually source code
gmp
Add support for dev-libs/gmp (GNU MP library)
isabelle
Add integration support for the Isabelle/HOL theorem prover.
java
Add support for Java
python
Add optional support/bindings for the Python language

abi_mips

n32
64-bit (32-bit pointer) libraries
n64
64-bit libraries
o32
32-bit libraries

abi_s390

32
32-bit (s390) libraries
64
64-bit (s390x) libraries

abi_x86

32
32-bit (x86) libraries
64
64-bit (amd64) libraries
x32
x32 ABI libraries

python_single_target

python3_10
Build for Python 3.10 only
python3_11
Build for Python 3.11 only
python3_12
Build for Python 3.12 only

dev-java / java-config : Java environment configuration query tool

dev-lang / python : An interpreted, interactive, object-oriented programming language

dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers

virtual / jdk : Virtual for Java Development Kit (JDK)

dev-java / java-config : Java environment configuration query tool

dev-lang / python : An interpreted, interactive, object-oriented programming language

dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers

dev-lang / boogie : SMT-based program verifier

dev-lang / dafny : Dafny is a verification-aware programming language

dev-lang / dafny-bin : Verification-aware programming language

dev-util / ropper : Use to display information about binary files in different file formats

sci-mathematics / vampire : The Vampire Prover, theorem prover for first-order logic

sys-devel / llvm : Low Level Virtual Machine

830582
sci-mathematics/z3-4.8.14 - CMake Error at .../FindPackageHandleStandardArgs.cmake:230 (message):
842615
sci-mathematics/z3-4.8.16 - CMake Error at .../FindJava.cmake:171 (message):
904398
sci-mathematics/z3-4.12.1 - -- Configuring incomplete, errors occurred!
918710
sci-mathematics/z3-4.12.2 - install_tactic.cpp:(.text+<snip>): undefined reference to rewriter_tpl<elim_bounds_cfg>::rewriter_tpl(ast_manager&, bool,
Repository mirror & CI · gentoo
Merge updates from master
Matoro Mahri · gentoo
sci-mathematics/z3: Keyword 4.13.0 mips, #779742
Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Viorel Munteanu <ceamac@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.13.0 ppc64, #927602
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Stabilize 4.13.0 arm64, #927602
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Michał Górny · gentoo
sci-mathematics/z3: Stabilize 4.13.0 x86, #927602
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Michał Górny · gentoo
sci-mathematics/z3: Stabilize 4.13.0 amd64, #927602
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Michał Górny · gentoo
sci-mathematics/z3: Stabilize 4.13.0 sparc, #927602
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Michał Górny · gentoo
sci-mathematics/z3: Stabilize 4.13.0 arm, #927602
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.12.6 x86, #927109
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.12.6 amd64, #927109
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.12.6 arm, #927109
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.12.6 sparc, #927109
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.12.6 arm64, #927109
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.12.6 ppc64, #927109
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Eli Schwartz · gentoo
sci-mathematics/z3: remove the filter-lto/fno-strict-aliasing
The fix for this was featured in version 4.13.0, yay. Bug: https://bugs.gentoo.org/879327 Signed-off-by: Eli Schwartz <eschwartz93@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.13.0
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Eli Schwartz · gentoo
sci-mathematics/z3: mark as LTO-unsafe, strict-aliasing unsafe
The strict-aliasing violation happens only in a test program. However, that does mean we cannot test that z3 works when built with LTO... Closes: https://bugs.gentoo.org/879327 Signed-off-by: Eli Schwartz <eschwartz93@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.12.6
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.12.5 amd64, #924099
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Stabilize 4.12.5 arm, #924099
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Michał Górny · gentoo
sci-mathematics/z3: Stabilize 4.12.5 arm64, #924099
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Michał Górny · gentoo
sci-mathematics/z3: Stabilize 4.12.5 ppc64, #924099
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Michał Górny · gentoo
sci-mathematics/z3: Stabilize 4.12.5 x86, #924099
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Michał Górny · gentoo
sci-mathematics/z3: Stabilize 4.12.5 sparc, #924099
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.12.5
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
Move {app-doc → app-text}/doxygen
Per the category metadata, app-doc/ is reserved for documentation *files* and not software. Move it to app-text/ where it seems a better fit. Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Michał Górny · gentoo
sci-mathematics/z3: Stabilize 4.12.4 amd64, #921493
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Michał Górny · gentoo
sci-mathematics/z3: Stabilize 4.12.4 x86, #921493
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.12.4 ppc64, #921493
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.12.4 sparc, #921493
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.12.4 arm64, #921493
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.12.4 arm, #921493
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.12.3 x86, #920427
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.12.3 arm64, #920427
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.12.3 arm, #920427
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.12.3 amd64, #920427
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.12.3 sparc, #920427
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.12.3 ppc64, #920427
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.12.4
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.12.3
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.12.2 ppc64, #919030
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Stabilize 4.12.2 x86, #919030
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.12.2 amd64, #919030
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.12.2 sparc, #919030
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.12.2 arm, #919030
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.12.2 arm64, #919030
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Andrew Ammerlaan · gentoo
sci-mathematics/z3: add 4.12.2
Closes: https://bugs.gentoo.org/916710 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.12.1 x86, #904033
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.12.1 ppc64, #904033
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.12.1 amd64, #904033
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.12.1 sparc, #904033
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.12.1 arm, #904033
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.12.1 arm64, #904033
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.12.1
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.12.0
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
David Seifert · gentoo
*/*: remove py3.8 from PYTHON_COMPAT
Signed-off-by: David Seifert <soap@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
WANG Xuerui · gentoo
sci-mathematics/z3: keyword 4.11.2 for ~loong
Signed-off-by: WANG Xuerui <xen0n@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Michał Górny · gentoo
sci-mathematics/z3: Revert "Remove old"
Reverts: 8f5a05275e21e1ecf49dedfe324a38e86bf874cc Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.11.2 sparc, #872290
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.11.2 ppc64, #872290
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Jakov Smolić · gentoo
sci-mathematics/z3: Stabilize 4.11.2 x86, #872290
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Jakov Smolić · gentoo
sci-mathematics/z3: Stabilize 4.11.2 amd64, #872290
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Jakov Smolić · gentoo
sci-mathematics/z3: Stabilize 4.11.2 arm, #872290
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Jakov Smolić · gentoo
sci-mathematics/z3: Stabilize 4.11.2 arm64, #872290
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.11.2
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.10.2 x86, #865789
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.10.2 amd64, #865789
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.10.2 arm64, #865789
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.10.2 arm, #865789
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.11.0
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Andreas Sturmlechner · gentoo
*/*: Drop CMAKE_ECLASS meta var superfluous in EAPI-8
Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.8.17 sparc, #862999
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.10.2
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.10.1
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Fix subslot in 4.9.1
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.9.1
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Jakov Smolić · gentoo
sci-mathematics/z3: Stabilize 4.8.17 amd64, #850061
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Jakov Smolić · gentoo
sci-mathematics/z3: Stabilize 4.8.17 x86, #850061
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Jakov Smolić · gentoo
sci-mathematics/z3: Stabilize 4.8.17 arm64, #850061
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Jakov Smolić · gentoo
sci-mathematics/z3: Stabilize 4.8.17 ppc64, #850061
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Jakov Smolić · gentoo
sci-mathematics/z3: Stabilize 4.8.17 arm, #850061
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.8.17
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.8.15-r1 ppc64, #840665
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
sci-mathematics/z3: Keyword 4.8.16 sparc, #779742
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.8.15-r1 arm, #840665
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.8.15-r1 arm64, #840665
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.8.15-r1 x86, #840665
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.8.15-r1 amd64, #840665
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.8.16
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/z3: fix documentation
- add missing dot dependency - install documentation into correct directory (use PF) Closes: https://bugs.gentoo.org/818991 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.8.15
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Han Gao · gentoo
sci-mathematics/z3: fix link atomic in riscv
Bug: https://bugs.gentoo.org/835003 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Han Gao <rabenda.cn@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/24519 Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.8.14 arm64, #833068
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.8.14 arm, #833068
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.8.14 ppc64, #833068
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.8.14 x86, #833068
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Jakov Smolić · gentoo
sci-mathematics/z3: Stabilize 4.8.14 amd64, #833068
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.8.13 arm64, #830771
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.8.13 arm, #830771
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.8.13 ppc64, #830771
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Jakov Smolić · gentoo
sci-mathematics/z3: Stabilize 4.8.13 amd64, #830771
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Jakov Smolić · gentoo
sci-mathematics/z3: Stabilize 4.8.13 x86, #830771
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.8.14
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.8.13
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.8.11b arm64, #805470
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
sci-mathematics/z3: x86 stable wrt bug #805470
Package-Manager: Portage-3.0.20, Repoman-3.0.2 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.8.11b arm, #805470
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.8.11b amd64, #805470
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.8.11b ppc64, #805470
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.8.11b
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Alexander Golubev · gentoo
sci-mathematics/z3: fix build failure with USE="java"
Closes:https://bugs.gentoo.org/673126 Signed-off-by: Alexander Golubev <fatzer2@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/21338 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
David Seifert · gentoo
sci-mathematics/z3: Depend on dev-libs/gmp[cxx(+)]
Closes: https://github.com/gentoo/gentoo/pull/21305 Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: David Seifert <soap@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.8.11
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
sci-mathematics/z3: Keyword 4.8.10 ppc, #708344
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.8.10 arm64, #774231
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.8.10 arm, #774231
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.8.10 ppc64, #774231
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
sci-mathematics/z3: amd64 stable wrt bug #774231
Package-Manager: Portage-3.0.13, Repoman-3.0.2 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
sci-mathematics/z3: x86 stable wrt bug #774231
Package-Manager: Portage-3.0.13, Repoman-3.0.2 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
*/*: Remove obsolete values from PYTHON_COMPAT
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.8.10
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Mikle Kolyada · gentoo
sci-mathematics/z3: Keyword 4.8.9 riscv, #756115
Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.8.9 amd64, #751145
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sergei Trofimovich · gentoo
sci-mathematics/z3: stable 4.8.9 for ppc64
stable wrt bug #751145 Package-Manager: Portage-3.0.8, Repoman-3.0.2 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.8.9 arm, #751145
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
sci-mathematics/z3: Stabilize 4.8.9 arm64, #751145
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Thomas Deutschmann · gentoo
sci-mathematics/z3: x86 stable (bug #751145)
Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.8.9
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
sci-mathematics/z3: x86 stable wrt bug #734542
Package-Manager: Portage-2.3.99, Repoman-2.3.22 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
sci-mathematics/z3: amd64 stable wrt bug #734542
Package-Manager: Portage-2.3.99, Repoman-2.3.22 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sergei Trofimovich · gentoo
sci-mathematics/z3: stable 4.8.8 for ppc64
stable wrt bug #734542 Package-Manager: Portage-3.0.1, Repoman-2.3.23 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
sci-mathematics/z3: arm stable (bug #734542)
Package-Manager: Portage-3.0.1, Repoman-2.3.23 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
sci-mathematics/z3: arm64 stable (bug #734542)
Package-Manager: Portage-3.0.1, Repoman-2.3.23 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Port to cmake.eclass
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.8.8
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Patrick McLean · gentoo
sci-mathematics/z3-4.8.6: Add missing dep on dev-libs/gmp[cxx]
Package-Manager: Portage-2.3.94, Repoman-2.3.21 Signed-off-by: Patrick McLean <chutzpah@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Remove py2
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
*/*: Clean PYTHON_COMPAT of obsolete impls
Closes: https://github.com/gentoo/gentoo/pull/14246 Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Tested on python3.8
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
David Seifert · gentoo
sci-mathematics/z3: Remove old
Package-Manager: Portage-2.3.81, Repoman-2.3.20 Signed-off-by: David Seifert <soap@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Aaron Bauman · gentoo
sci-mathematics/z3: arm64 stable (bug #700296)
Signed-off-by: Aaron Bauman <bman@gentoo.org> Package-Manager: Portage-2.3.79, Repoman-2.3.18
Repository mirror & CI · gentoo
Merge updates from master
Mikle Kolyada · gentoo
sci-mathematics/z3: arm stable wrt bug #700296
Package-Manager: Portage-2.3.76, Repoman-2.3.16 RepoMan-Options: --include-arches="arm" Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
sci-mathematics/z3: ppc64 stable wrt bug #700296
Package-Manager: Portage-2.3.76, Repoman-2.3.16 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
sci-mathematics/z3: x86 stable wrt bug #700296
Package-Manager: Portage-2.3.76, Repoman-2.3.16 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
sci-mathematics/z3: amd64 stable wrt bug #700296
Package-Manager: Portage-2.3.76, Repoman-2.3.16 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.8.6
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Aaron Bauman · gentoo
sci-mathematics/z3: arm64 stable (bug #693856)
Signed-off-by: Aaron Bauman <bman@gentoo.org> Package-Manager: Portage-2.3.76, Repoman-2.3.17
Repository mirror & CI · gentoo
Merge updates from master
Mikle Kolyada · gentoo
sci-mathematics/z3: arm stable wrt bug #693856
Package-Manager: Portage-2.3.69, Repoman-2.3.16 RepoMan-Options: --include-arches="arm" Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
sci-mathematics/z3: ppc64 stable wrt bug #693856
Package-Manager: Portage-2.3.69, Repoman-2.3.16 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
sci-mathematics/z3: x86 stable wrt bug #693856
Package-Manager: Portage-2.3.69, Repoman-2.3.16 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
sci-mathematics/z3: amd64 stable wrt bug #693856
Package-Manager: Portage-2.3.69, Repoman-2.3.16 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Drop old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.8.5
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
*/*: Remove python3_4 PYTHON_COMPAT correctly
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Revert "Drop old"
This broke sci-mathematics/isabelle. Reverts: 6785f3b5e8a6e7969ed07ed59c5b2e7a82aea188. Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Drop old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Keyword 4.8.4 ~arm64
Tested by NeddySeagoon. Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Drop old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Mikle Kolyada · gentoo
sci-mathematics/z3: Add ~arm keyword wrt bug #677862
Signed-off-by: Mikle Kolyada <zlogene@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11 RepoMan-Options: --include-arches="~arm"
Repository mirror & CI · gentoo
Merge updates from master
Sergei Trofimovich · gentoo
sci-mathematics/z3: keyworded 4.8.4 for ppc64, bug #677862
Package-Manager: Portage-2.3.60, Repoman-2.3.12 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.8.4
Closes: https://bugs.gentoo.org/673506 Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Enable multilib support
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
sci-mathematics/z3: Run tests
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Michał Górny · gentoo
sci-mathematics/z3: Enable python3
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.8.3, major ebuild overhaul
Closes: https://bugs.gentoo.org/644508 Signed-off-by: Michał Górny <mgorny@gentoo.org>
Mark Wright · gentoo
sci-mathematics/z3: Use echo instead of elog.
Thanks to mgorny for reporting and the fix, K_F, Blackb|rd and Arfrever for helping. Package-Manager: portage-2.3.5
Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
Sergei Trofimovich · gentoo
sci-mathematics/z3: workaround configure failure on non-ASCII
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
Mark Wright · gentoo
sci-mathematics/z3: Fix examples install directory.
Package-Manager: portage-2.3.3
Mark Wright · gentoo
sci-mathematics/z3: Fix python API, thanks to Jonas Jelten for reporting.
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
T. Malfatti · gentoo
media-libs/portaudio: Version bump
Mark Wright · gentoo
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
Mark Wright · gentoo
sci-mathematics/z3: Fix install for USE="python -doc", thanks to Toralf F?rster for reporting.
Gentoo-bug: 604362 Package-Manager: portage-2.3.3
Mark Wright · gentoo
sci-mathematics/z3: Thanks to Yichao Zhou, jlec and slyfox for development on the z3 ebuilds. Thanks to David E. Narv?ez for reporting and patching.
Gentoo-bug: 602498, 602600 Package-Manager: portage-2.3.3