blob: 2ff48342ed43b3a4954cd58baef69a6fe8063dbe (
plain) (
blame)
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
|
# 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:${PORTSDIR}/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>
|
