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/

Reply via email to