Update z3; builds here with clang 6. Enable tests while here.
- Matthew Martin
diff --git Makefile Makefile
index 6fe70abc40a..b32659d5940 100644
--- Makefile
+++ Makefile
@@ -2,9 +2,8 @@
COMMENT = z3 theorem prover
-VERSION = 4.5.0
+VERSION = 4.6.0
DISTNAME = z3-${VERSION}
-REVISION = 0
GH_ACCOUNT = Z3Prover
GH_PROJECT = z3
@@ -25,11 +24,12 @@ MODULES = lang/python
WRKDIST = ${WRKDIR}/z3-${DISTNAME}
-NO_TEST = Yes
-
do-build:
cd ${WRKSRC}/build && make
+do-test:
+ cd ${WRKSRC}/build && make test
+
do-install:
cd ${WRKSRC}/build && make install DESTDIR=""
diff --git distinfo distinfo
index 367c197e8d9..78a13056b2b 100644
--- distinfo
+++ distinfo
@@ -1,2 +1,2 @@
-SHA256 (z3-4.5.0.tar.gz) = rq4dI5xeBqwYO+fdhTd1uEaY2xJlyyJY5ZGKKDctSgw=
-SIZE (z3-4.5.0.tar.gz) = 3573695
+SHA256 (z3-4.6.0.tar.gz) = UR2jHR+YXPDHmy3gW9pOBXNxulGXadFUb/ceEwT+U8k=
+SIZE (z3-4.6.0.tar.gz) = 3987830
diff --git pkg/PLIST pkg/PLIST
index 0d452ebdc7f..ad83b890997 100644
--- pkg/PLIST
+++ pkg/PLIST
@@ -12,6 +12,7 @@ include/z3_macros.h
include/z3_optimization.h
include/z3_polynomial.h
include/z3_rcf.h
+include/z3_spacer.h
include/z3_v1.h
lib/libz3.so
lib/python${MODPY_VERSION}/site-packages/z3/
