Date: Sat, 23 Aug 2014 07:11:36 +0000 (UTC) From: Kubilay Kocak <koobs@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r365712 - in head/devel: . py-pycosat py-pycosat/files Message-ID: <201408230711.s7N7BamK042109@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: koobs Date: Sat Aug 23 07:11:36 2014 New Revision: 365712 URL: http://svnweb.freebsd.org/changeset/ports/365712 QAT: https://qat.redports.org/buildarchive/r365712/ Log: [NEW] devel/py-pycosat: Bindings to PicoSAT (a SAT solver) PicoSAT is a popular SAT solver written by Armin Biere in pure C. This package provides efficient Python bindings to picosat on the C level, i.e. when importing pycosat, the picosat solver becomes part of the Python process itself. WWW: https://github.com/ContinuumIO/pycosat Added: head/devel/py-pycosat/ head/devel/py-pycosat/Makefile (contents, props changed) head/devel/py-pycosat/distinfo (contents, props changed) head/devel/py-pycosat/files/ head/devel/py-pycosat/files/patch-setup.py (contents, props changed) head/devel/py-pycosat/pkg-descr (contents, props changed) Modified: head/devel/Makefile Modified: head/devel/Makefile ============================================================================== --- head/devel/Makefile Sat Aug 23 06:30:29 2014 (r365711) +++ head/devel/Makefile Sat Aug 23 07:11:36 2014 (r365712) @@ -3830,6 +3830,7 @@ SUBDIR += py-pycalendar SUBDIR += py-pycallgraph SUBDIR += py-pycerberus + SUBDIR += py-pycosat SUBDIR += py-pycparser SUBDIR += py-pydasm SUBDIR += py-pyechonest Added: head/devel/py-pycosat/Makefile ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/devel/py-pycosat/Makefile Sat Aug 23 07:11:36 2014 (r365712) @@ -0,0 +1,32 @@ +# Created by: Kubilay Kocak <koobs@FreeBSD.org> +# $FreeBSD$ + +PORTNAME= pycosat +PORTVERSION= 0.6.0 +CATEGORIES= devel 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}/devel/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}${PREFIX}/lib/python2.7/site-packages/pycosat.so + +regression-test: build + @cd ${WRKSRC} && ${PYTHON_CMD} ${PYDISTUTILS_SETUP} test + +.include <bsd.port.mk> Added: head/devel/py-pycosat/distinfo ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/devel/py-pycosat/distinfo Sat Aug 23 07:11:36 2014 (r365712) @@ -0,0 +1,2 @@ +SHA256 (pycosat-0.6.0.tar.gz) = 9ce71131cedb6dcb9a64896c1998e77f8e1e211825d8aacba8994a9492b04d0b +SIZE (pycosat-0.6.0.tar.gz) = 58324 Added: head/devel/py-pycosat/files/patch-setup.py ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/devel/py-pycosat/files/patch-setup.py Sat Aug 23 07:11:36 2014 (r365712) @@ -0,0 +1,8 @@ +--- ./setup.py.orig 2014-08-08 18:54:35.336077625 +1000 ++++ ./setup.py 2014-08-08 18:54:46.442391757 +1000 +@@ -43,4 +43,5 @@ + py_modules = ['test_pycosat'], + description = "bindings to picosat (a SAT solver)", + long_description = open('README.rst').read(), ++ test_suite="test_pycosat", + ) Added: head/devel/py-pycosat/pkg-descr ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/devel/py-pycosat/pkg-descr Sat Aug 23 07:11:36 2014 (r365712) @@ -0,0 +1,6 @@ +PicoSAT is a popular SAT solver written by Armin Biere in pure C. This +package provides efficient Python bindings to picosat on the C level, +i.e. when importing pycosat, the picosat solver becomes part of the +Python process itself. + +WWW: https://github.com/ContinuumIO/pycosat
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201408230711.s7N7BamK042109>