79ae9cc434
pkglint -Wall -F --only aligned -r Manual correction in R/Makefile.extension for the MASTER_SITES continuation line.
27 lines
715 B
Makefile
27 lines
715 B
Makefile
# $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"
|