mirror of
https://github.com/openbsd/ports.git
synced 2026-06-17 23:13:55 +02:00
kirill
44 lines
803 B
Makefile
44 lines
803 B
Makefile
COMMENT = Z3 theorem prover
|
|
|
|
DIST_TUPLE = github Z3Prover z3 z3-4.16.0 .
|
|
PKGNAME = ${DISTNAME:S/z3-//}
|
|
REVISION = 0
|
|
|
|
SHARED_LIBS = z3 4.16
|
|
|
|
CATEGORIES = math
|
|
|
|
DPB_PROPERTIES = parallel
|
|
|
|
WANTLIB += c m pthread ${COMPILER_LIBCXX}
|
|
|
|
MAINTAINER = Kirill A. Korinsky <kirill@korins.ky>
|
|
|
|
# MIT
|
|
PERMIT_PACKAGE = Yes
|
|
|
|
# C++20
|
|
COMPILER = base-clang ports-clang
|
|
|
|
MODULES = devel/cmake \
|
|
lang/python
|
|
|
|
MODPY_RUNDEP = No
|
|
|
|
CONFIGURE_ARGS = -DZ3_BUILD_PYTHON_BINDINGS=ON \
|
|
-DZ3_ENABLE_EXAMPLE_TARGETS=OFF \
|
|
-DZ3_INCLUDE_GIT_HASH=OFF \
|
|
-DZ3_USE_LIB_GMP=OFF
|
|
|
|
DEBUG_PACKAGES = ${BUILD_PACKAGES}
|
|
|
|
post-patch:
|
|
${SUBST_CMD} ${WRKSRC}/scripts/mk_util.py
|
|
|
|
post-test:
|
|
cd ${WRKBUILD} && \
|
|
find ${WRKSRC}/examples/SMT-LIB2/ -type f -name '*.smt2' \
|
|
-exec echo \; -print -exec ./z3 {} \;
|
|
|
|
.include <bsd.port.mk>
|