blob: bfd038cdbaf43ac25a1b6d380e1247300b64f360 (
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
|
# $NetBSD: Makefile,v 1.4 2020/05/31 20:47:23 joerg 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
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"
|
