40 lines
607 B
Makefile
40 lines
607 B
Makefile
# $OpenBSD: Makefile,v 1.7 2018/06/19 17:48:49 jca Exp $
|
|
|
|
COMMENT = z3 theorem prover
|
|
|
|
VERSION = 4.7.1
|
|
DISTNAME = z3-${VERSION}
|
|
|
|
GH_ACCOUNT = Z3Prover
|
|
GH_PROJECT = z3
|
|
|
|
CATEGORIES = math
|
|
|
|
WANTLIB += c m pthread ${COMPILER_LIBCXX}
|
|
|
|
# MIT
|
|
PERMIT_PACKAGE_CDROM = Yes
|
|
|
|
CONFIGURE_STYLE = simple
|
|
|
|
CONFIGURE_ARGS += --prefix=${PREFIX} \
|
|
--python
|
|
|
|
# c++11
|
|
COMPILER = base-clang ports-gcc
|
|
|
|
MODULES = lang/python
|
|
|
|
WRKDIST = ${WRKDIR}/z3-${DISTNAME}
|
|
|
|
do-build:
|
|
cd ${WRKSRC}/build && make
|
|
|
|
do-test:
|
|
cd ${WRKSRC}/build && make test
|
|
|
|
do-install:
|
|
cd ${WRKSRC}/build && make install DESTDIR=""
|
|
|
|
.include <bsd.port.mk>
|