blob: 7aad1438af4049a9bbed168ed64440bc6d80b4da (
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
31
32
|
# $NetBSD: Makefile,v 1.7 2018/02/27 08:34:16 wiz Exp $
DISTNAME= z3-4.4.1
GITHUB_TAG= ${DISTNAME}
PKGREVISION= 5
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
PYTHON_VERSIONS_ACCEPTED= 27
CONFIGURE_ENV+= PYTHON=${PYTHONBIN}
CONFIGURE_ARGS+= --destdir=${DESTDIR} --prefix=${PREFIX}
.include "options.mk"
.include "../../lang/python/extension.mk"
.include "../../mk/bsd.pkg.mk"
|