svn commit: r365712 - in head/devel: . py-pycosat py-pycosat/files

[Kubilay Kocak]

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 at FreeBSD.org>
+# $FreeBSD$
+
+PORTNAME=	pycosat
+PORTVERSION=	0.6.0
+CATEGORIES=	devel math python
+MASTER_SITES=	CHEESESHOP
+PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
+
+MAINTAINER=	koobs at 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