This simple patch switches OpenMP off.
Question though: as given, Makefile does not require some python
packages (py-setuptools, py-pip) to run z3 under python.
Should that be fixed?
Index: Makefile
===================================================================
RCS file: /cvs/ports/math/z3/Makefile,v
retrieving revision 1.13
diff -u -p -r1.13 Makefile
--- Makefile 28 Apr 2019 20:51:42 -0000 1.13
+++ Makefile 13 Jun 2019 21:12:23 -0000
@@ -4,7 +4,7 @@ COMMENT = Z3 theorem prover
VERSION = 4.8.4
DISTNAME = z3-${VERSION}
-REVISION = 1
+REVISION = 2
GH_ACCOUNT = Z3Prover
GH_PROJECT = z3
@@ -30,6 +30,7 @@ CONFIGURE_ARGS += -DENABLE_EXAMPLE_TARGE
-DINCLUDE_GIT_HASH=OFF \
-DINCLUDE_GIT_DESCRIBE=OFF \
-DBUILD_PYTHON_BINDINGS=ON \
+ -DUSE_OPENMP=OFF \
-DUSE_LIB_GMP=OFF
WRKDIST = ${WRKDIR}/z3-${DISTNAME}
