mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-19 03:52:17 +00:00
33 lines
683 B
Makefile
33 lines
683 B
Makefile
# Created by: Kubilay Kocak <koobs@FreeBSD.org>
|
|
# $FreeBSD$
|
|
|
|
PORTNAME= pycosat
|
|
PORTVERSION= 0.6.1
|
|
CATEGORIES= math python
|
|
MASTER_SITES= CHEESESHOP
|
|
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
|
|
|
|
MAINTAINER= koobs@FreeBSD.org
|
|
COMMENT= Bindings to PicoSAT (a SAT solver)
|
|
|
|
LICENSE= MIT
|
|
LICENSE_FILE= ${WRKSRC}/LICENSE
|
|
|
|
LIB_DEPENDS= libpicosat.so:math/picosat
|
|
|
|
USES= python
|
|
USE_PYTHON= autoplist distutils
|
|
|
|
PYDISTUTILS_BUILDARGS= build_ext \
|
|
-I${LOCALBASE}/include -L${LOCALBASE}/lib \
|
|
-DDONT_INCLUDE_PICOSAT \
|
|
-lpicosat
|
|
|
|
post-install:
|
|
${STRIP_CMD} ${STAGEDIR}${PYTHON_SITELIBDIR}/pycosat.so
|
|
|
|
do-test:
|
|
@cd ${WRKSRC} && ${PYTHON_CMD} ${PYDISTUTILS_SETUP} test
|
|
|
|
.include <bsd.port.mk>
|