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}