3cbe1c2f30
if a port needs 2.x then set MODPY_VERSION=${MODPY_DEFAULT_VERSION_2}.
This commit doesn't change any versions currently used; it may be that
some ports have MODPY_DEFAULT_VERSION_2 but don't require it, those
should be cleaned up in the course of updating ports where possible.
Python module ports providing py3-* packages should still use
FLAVOR=python3 so that we don't have a mixture of dependencies some
using ${MODPY_FLAVOR} and others not.
43 lines
744 B
Makefile
43 lines
744 B
Makefile
# $OpenBSD: Makefile,v 1.23 2021/02/23 19:39:30 sthen Exp $
|
|
|
|
COMMENT = Z3 theorem prover
|
|
|
|
VERSION = 4.8.9
|
|
|
|
GH_ACCOUNT = Z3Prover
|
|
GH_PROJECT = z3
|
|
GH_TAGNAME = ${GH_PROJECT}-${VERSION}
|
|
|
|
DISTNAME = ${GH_TAGNAME}
|
|
PKGNAME = ${DISTNAME:L}
|
|
|
|
SHARED_LIBS = z3 2.2 # 4.8
|
|
|
|
CATEGORIES = math
|
|
|
|
WANTLIB += c m pthread ${COMPILER_LIBCXX}
|
|
|
|
# MIT
|
|
PERMIT_PACKAGE = Yes
|
|
|
|
# c++11
|
|
COMPILER = base-clang ports-gcc
|
|
|
|
MODULES = devel/cmake \
|
|
lang/python
|
|
|
|
CONFIGURE_ARGS += -DZ3_ENABLE_EXAMPLE_TARGETS=ON \
|
|
-DZ3_INCLUDE_GIT_HASH=OFF \
|
|
-DZ3_INCLUDE_GIT_DESCRIBE=OFF \
|
|
-DZ3_BUILD_PYTHON_BINDINGS=ON \
|
|
-DZ3_USE_LIB_GMP=OFF
|
|
|
|
WRKDIST = ${WRKDIR}/z3-${DISTNAME}
|
|
|
|
NO_TEST = Yes
|
|
|
|
pre-configure:
|
|
${SUBST_CMD} ${WRKSRC}/scripts/mk_util.py
|
|
|
|
.include <bsd.port.mk>
|