diff options
| author | Manuel Wiesinger | 2024-05-14 18:29:14 +0100 |
|---|---|---|
| committer | Manuel Wiesinger | 2024-05-14 18:29:14 +0100 |
| commit | 25190e6538df3dadc35d2030c6f8458ed9ae51d4 (patch) | |
| tree | 6458883c062bf29f109a76bafc655b0e77d9341e /.SRCINFO | |
| parent | 076fcf2bdfbaf4b12274822be43e8bec16b22b11 (diff) | |
| download | aur-25190e6538df3dadc35d2030c6f8458ed9ae51d4.tar.gz | |
GCC 14 build fix, do not provide python bindings
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -1,7 +1,7 @@ pkgbase = bitwuzla pkgdesc = SMT solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations pkgver = 0.4.0 - pkgrel = 1 + pkgrel = 2 url = https://bitwuzla.github.io arch = x86_64 license = MIT @@ -27,17 +27,18 @@ pkgbase = bitwuzla depends = kissat optdepends = cryptominisat5: Support for the CryptoMiniSat SAT solver optdepends = python>=3.7: Python bindings - provides = bitwuzla.cpython-311-x86_64-linux-gnu.so provides = libbitwuzlabv.so provides = libbitwuzlabb.so provides = libbitwuzlals.so provides = libbitwuzla.so options = !lto source = bitwuzla-0.4.0.tar.gz::https://github.com/bitwuzla/bitwuzla/archive/refs/tags/0.4.0.tar.gz + source = upstream-gcc14.patch::https://github.com/bitwuzla/bitwuzla/commit/31330f252ace62954d573e68261acd78c8554db7.patch source = 0001-Use-installed-libraries.patch source = 0002-Skip-Test-based-on-timeout.patch source = 0003-Do-not-require-git.patch b2sums = 135ed8dbe8ada22ca36f872ccc062622bfdfa87592cfcad596f9c1c0c92c99a486a7ff52707fe7dba33531405cd6c84a20a3f546d3614585721f6b7468dc2894 + b2sums = 60caf89635e0e782e18ca7642a64da55e462720106b50d08c7977edd37954314a7b4fe2230dfdffebb834fcd6a2449fca71d4d9a50c10f3db06cd70e48142a77 b2sums = 0ebea6754d4fc270c268d4088af9bcb93596fe5ec7b1065f83d39e5c56eef93d567592443ec0a460a34bf5829b5b54f2c9971644f6fbbebbf9c43a1b440ac54d b2sums = 7728ab77cb234b4427e7cf493817a24bf97440304efb4fc4300125ec470a0bf15430b4416d3c5fdea51dc91441640d05995ed4a08d4c628f97f4d4dc08538d7e b2sums = 7c80c06aec86c5c75a72786cfafa03d703950efa5639726abec5466b82928ae231eed75bff29d056d6e47bf2e4ab1ce4f9634fd96f9454d0b92d90c30fd26f37 |