wallenstein/void-packages
1
0
Fork 0
mirror of https://github.com/void-linux/void-packages.git synced 2025-06-08 16:13:50 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

z3: update to 4.8.1.

Browse source
This commit is contained in:
Leah Neukirchen 2018-10-16 13:52:05 +02:00
parent 129004fef7
commit 63959c229e
2 changed files with 15 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
srcpkgs/z3/patches/intrin.patch Normal file
View file

@ -0,0 +1,12 @@
Header is unused on gcc builds anyway, breaks non-x86(_64).
--- src/util/mpz.cpp.orig
+++ src/util/mpz.cpp
@@ -30,7 +30,6 @@
#else
#error No multi-precision library selected.
#endif
-#include <immintrin.h>
// Available GCD algorithms
// #define EUCLID_GCD

6
srcpkgs/z3/template
View file

@ -1,7 +1,7 @@
# Template file for 'z3' # Template file for 'z3'
pkgname=z3 pkgname=z3
version=4.7.1 version=4.8.1
revision=3 revision=1
wrksrc="${pkgname}-${pkgname}-${version}" wrksrc="${pkgname}-${pkgname}-${version}"
build_style=configure build_style=configure
configure_args="--prefix=/usr -g --python $(vopt_if ocaml --ml)" configure_args="--prefix=/usr -g --python $(vopt_if ocaml --ml)"
@ -16,7 +16,7 @@ maintainer="Leah Neukirchen <leah@vuxu.org>"
license="MIT" license="MIT"
homepage="https://github.com/Z3Prover/z3" homepage="https://github.com/Z3Prover/z3"
distfiles="https://github.com/Z3Prover/z3/archive/${pkgname}-${version}.tar.gz" distfiles="https://github.com/Z3Prover/z3/archive/${pkgname}-${version}.tar.gz"
checksum=a353e3da00cdaffd258052cc1406efc854606855222ab4bfd5679c58af5c11c7 checksum=cc17e23327793defac78071acb9c68969f50e8a8ce3485f06448b65a589bcb71
build_options="ocaml" build_options="ocaml"
desc_option_ocaml="Enable support for OCaml bindings" desc_option_ocaml="Enable support for OCaml bindings"