blob: 5981432e36f187217d6a5b33bc95fc9266d1f27a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
# $NetBSD: Makefile,v 1.2 2016/05/05 11:45:40 jaapb Exp $
DISTNAME= z3-4.4.1
GITHUB_TAG= ${DISTNAME}
PKGREVISION= 1
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"
|