diff options
Diffstat (limited to 'community/z3/APKBUILD')
| -rw-r--r-- | community/z3/APKBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/community/z3/APKBUILD b/community/z3/APKBUILD index 373b8edfae..ec32205dea 100644 --- a/community/z3/APKBUILD +++ b/community/z3/APKBUILD @@ -2,7 +2,7 @@ # Maintainer: Sören Tempel <soeren+alpine@soeren-tempel.net> pkgname=z3 pkgver=4.8.7 -pkgrel=0 +pkgrel=1 pkgdesc="Theorem prover from Microsoft Research" url="https://github.com/Z3Prover/z3" arch="all !s390x !aarch64" @@ -22,7 +22,7 @@ build() { -DCMAKE_INSTALL_PREFIX=/usr \ -DCMAKE_INSTALL_LIBDIR=lib \ -DBUILD_SHARED_LIBS=True \ - -DCMAKE_BUILD_TYPE=Release \ + -DCMAKE_BUILD_TYPE=None \ -DCMAKE_CXX_FLAGS="$CXXFLAGS" \ -DCMAKE_C_FLAGS="$CFLAGS" \ .. |