Summary
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.
Versions
v4.14.1 :: 0/4.14 :: gentoo
- Modified
- License
- MIT
- Keywords
- ~amd64 ~arm ~arm64 ~loong ~mips ~ppc ~ppc64 ~riscv ~sparc ~x86
- USE flags
- doc examples gmp isabelle java python
v4.14.0 :: 0/4.14 :: gentoo
- Modified
- License
- MIT
- Keywords
- amd64 arm arm64 ppc64 sparc x86 ~loong ~mips ~ppc ~riscv
- USE flags
- doc examples gmp isabelle java python
USE flags
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
- python3_13
- Build for Python 3.13 only
Dependencies
dev-java / java-config : Java environment configuration query tool
dev-lang / python : Freethreading (no-GIL) version of Python programming language
dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers
Runtime Dependencies
dev-java / java-config : Java environment configuration query tool
dev-lang / python : Freethreading (no-GIL) version of Python programming language
dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers
Depending packages
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
llvm-core / llvm : Low Level Virtual Machine
media-gfx / prusaslicer : A mesh slicer to generate G-code for fused-filament-fabrication (3D printers)
sci-mathematics / vampire : The Vampire Prover, theorem prover for first-order logic
Bugs
- 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!
- 936634
- sci-mathematics/z3-4.13.0 - [ncurses-6.5] [icu-75.1] [glibc-2.40] [gcc-15] /.../static_matrix.h: error: class lp::static_matrix<T, X> has no member named get
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Michał Górny · gentoo
sci-mathematics/z3: Bump to 4.14.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 - Sam James · gentoo
sci-mathematics/z3: Stabilize 4.14.0 arm64, #950824
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Jakov Smolić · gentoo
sci-mathematics/z3: Stabilize 4.14.0 x86, #950824
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Jakov Smolić · gentoo
sci-mathematics/z3: Stabilize 4.14.0 amd64, #950824
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.14.0 ppc64, #950824
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.14.0 sparc, #950824
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.14.0 arm, #950824
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.14.0
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.13.4 arm, #947419
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.13.4 arm64, #947419
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
sci-mathematics/z3: Stabilize 4.13.4 amd64, #947419
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.13.4 x86, #947419
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
sci-mathematics/z3: Stabilize 4.13.4 sparc, #947419
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
sci-mathematics/z3: Stabilize 4.13.4 ppc64, #947419
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.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: 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.13.3 sparc, #941789
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.13.3 x86, #941789
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.13.3 ppc64, #941789
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.13.3 amd64, #941789
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.13.3 arm, #941789
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
sci-mathematics/z3: Stabilize 4.13.3 arm64, #941789
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.13.3
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.13.2
Signed-off-by: Michał Górny <mgorny@gentoo.org> - 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