blob: c117e445d55bf3c4c0638f141518ec10788edb4c (
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
|
# $NetBSD: Makefile,v 1.3 2019/11/02 16:16:22 rillig Exp $
.include "../../math/z3/Makefile.common"
PKGNAME= ${PYPKGPREFIX}-${DISTNAME}
GITHUB_PROJECT= z3
COMMENT= Python bindings for the Z3 theorem prover / SMT solver
CONFIGURE_ARGS+= --python
NO_BUILD= yes
PY_PATCHPLIST= yes
PYTHON_VERSIONS_ACCEPTED= 27
PYZ3DIR= ${PREFIX}/${PYSITELIB}/z3
INSTALLATION_DIRS+= ${PYZ3DIR}
INSTALLATION_DIRS+= ${PYZ3DIR}/lib
do-install:
${LN} -s ${LIBDIR}/libz3.so ${DESTDIR}${PYZ3DIR}/lib/libz3.so
${INSTALL_DATA} ${WRKSRC}/build/python/z3/*.py ${DESTDIR}${PYZ3DIR}
${PY_COMPILE_ALL} ${DESTDIR}${PYZ3DIR}
.include "../../lang/python/extension.mk"
.include "../../math/z3/buildlink3.mk"
.include "../../mk/bsd.pkg.mk"
|
