Levente Polyak pushed to branch main at Arch Linux / Packaging / Packages / z3
Commits:
51b3f633 by Levente Polyak at 2026-01-20T20:17:55+01:00
upgpkg: 4.15.4-2: set java plugin language target to 8
- - - - -
2 changed files:
- .SRCINFO
- PKGBUILD
Changes:
=====================================
.SRCINFO
=====================================
@@ -1,7 +1,7 @@
pkgbase = z3
pkgdesc = High-performance theorem prover
pkgver = 4.15.4
- pkgrel = 1
+ pkgrel = 2
url = https://github.com/Z3Prover/z3
arch = x86_64
license = MIT
=====================================
PKGBUILD
=====================================
@@ -5,7 +5,7 @@
pkgbase=z3
pkgname=(z3 python-z3-solver z3-java)
pkgver=4.15.4
-pkgrel=1
+pkgrel=2
pkgdesc='High-performance theorem prover'
url='https://github.com/Z3Prover/z3'
arch=(x86_64)
@@ -48,6 +48,7 @@ build() {
-Bbuild \
-DCMAKE_INSTALL_PREFIX=/usr \
-DCMAKE_INSTALL_LIBDIR=lib \
+ -DCMAKE_JAVA_COMPILE_FLAGS='--release;8' \
-DZ3_INCLUDE_GIT_DESCRIBE=OFF \
-DZ3_INCLUDE_GIT_HASH=OFF \
-DZ3_LINK_TIME_OPTIMIZATION=1 \
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/z3/-/commit/51b3f63369dccff0d490134f7e4770eb476483ec
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/z3/-/commit/51b3f63369dccff0d490134f7e4770eb476483ec
You're receiving this email because of your account on gitlab.archlinux.org.
