summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorMichel Zou2019-10-13 11:38:07 +0200
committerMichel Zou2019-10-13 11:38:07 +0200
commit1978c0ff32ede587a31ae9127855c25a6450fb80 (patch)
tree7d2418c0bc672c0273200fe438503fca38760d93
downloadaur-1978c0ff32ede587a31ae9127855c25a6450fb80.tar.gz
4.8.6
-rw-r--r--.SRCINFO17
-rw-r--r--PKGBUILD39
2 files changed, 56 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 00000000000..3f273d2f1a9
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,17 @@
+pkgbase = mingw-w64-z3
+ pkgdesc = High-performance theorem prover (mingw-w64)
+ pkgver = 4.8.6
+ pkgrel = 1
+ url = https://github.com/Z3Prover/z3
+ arch = any
+ license = MIT
+ makedepends = mingw-w64-cmake
+ depends = mingw-w64-gmp
+ options = !strip
+ options = !buildflags
+ options = staticlibs
+ source = https://github.com/Z3Prover/z3/archive/z3-4.8.6.tar.gz
+ sha512sums = d338413274a3d11a9e9287202989df9da4c31e095c14428a418d4019e9f86c0e2b681c519d2d0bcbb4cd99a722a2539006f5c86ade568b1ee208545b142369f1
+
+pkgname = mingw-w64-z3
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 00000000000..af33b758707
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,39 @@
+pkgname=('mingw-w64-z3')
+pkgver=4.8.6
+pkgrel=1
+pkgdesc='High-performance theorem prover (mingw-w64)'
+url='https://github.com/Z3Prover/z3'
+arch=('any')
+license=('MIT')
+makedepends=('mingw-w64-cmake')
+options=('!strip' '!buildflags' 'staticlibs')
+depends=('mingw-w64-gmp')
+source=("https://github.com/Z3Prover/z3/archive/z3-${pkgver}.tar.gz")
+sha512sums=('d338413274a3d11a9e9287202989df9da4c31e095c14428a418d4019e9f86c0e2b681c519d2d0bcbb4cd99a722a2539006f5c86ade568b1ee208545b142369f1')
+
+_architectures="i686-w64-mingw32 x86_64-w64-mingw32"
+
+prepare() {
+ cd z3-z3-${pkgver}
+ sed -i "s|Windows.h|windows.h|g" src/util/memory_manager.cpp
+ sed -i 's|RUNTIME DESTINATION "${CMAKE_INSTALL_LIBDIR}"|RUNTIME DESTINATION "${CMAKE_INSTALL_BINDIR}"|g' src/CMakeLists.txt
+}
+
+build() {
+ cd z3-z3-${pkgver}
+ for _arch in ${_architectures}; do
+ mkdir -p build-${_arch} && pushd build-${_arch}
+ ${_arch}-cmake -DUSE_LIB_GMP=1 ..
+ make
+ popd
+ done
+}
+
+package() {
+ for _arch in ${_architectures}; do
+ cd "${srcdir}/z3-z3-$pkgver/build-${_arch}"
+ make DESTDIR="${pkgdir}" install
+ ${_arch}-strip -g "${pkgdir}"/usr/${_arch}/lib/*.a
+ ${_arch}-strip --strip-unneeded "${pkgdir}"/usr/${_arch}/bin/*.dll
+ done
+}