diff options
Diffstat (limited to 'math/z3/Makefile')
| -rw-r--r-- | math/z3/Makefile | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/math/z3/Makefile b/math/z3/Makefile new file mode 100644 index 00000000000..e1017a4ccd3 --- /dev/null +++ b/math/z3/Makefile @@ -0,0 +1,29 @@ +# $NetBSD: Makefile,v 1.1 2015/11/24 05:45:58 dholland Exp $ + +DISTNAME= z3-4.4.1 +GITHUB_TAG= ${DISTNAME} +CATEGORIES= math +MASTER_SITES= ${MASTER_SITE_GITHUB:=Z3Prover/} +PATCHFILES+= z3-jumbo-patch-20151123.gz +SITES.z3-jumbo-patch-20151123.gz=\ + http://www.NetBSD.org/~dholland/patchkits/z3/ +PATCH_DIST_STRIP= -p1 + +MAINTAINER= dholland@NetBSD.org +HOMEPAGE= https://github.com/Z3Prover/z3/ +COMMENT= The Z3 theorem prover / SMT solver +LICENSE= mit + +WRKSRC= ${WRKDIR}/z3-${DISTNAME} +HAS_CONFIGURE= yes +USE_LANGUAGES= c c++ +BUILD_DIRS= build +PY_PATCHPLIST= yes + +CONFIGURE_ENV+= PYTHON=${PYTHONBIN} +CONFIGURE_ARGS+= --destdir=${DESTDIR} --prefix=${PREFIX} + +.include "options.mk" + +.include "../../lang/python/extension.mk" +.include "../../mk/bsd.pkg.mk" |