From owner-svn-ports-head@FreeBSD.ORG Sat Aug 23 07:11:37 2014 Return-Path: Delivered-To: svn-ports-head@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id D2EADA25; Sat, 23 Aug 2014 07:11:37 +0000 (UTC) Received: from svn.freebsd.org (svn.freebsd.org [IPv6:2001:1900:2254:2068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id BDEB73807; Sat, 23 Aug 2014 07:11:37 +0000 (UTC) Received: from svn.freebsd.org ([127.0.1.70]) by svn.freebsd.org (8.14.9/8.14.9) with ESMTP id s7N7Bb92042116; Sat, 23 Aug 2014 07:11:37 GMT (envelope-from koobs@FreeBSD.org) Received: (from koobs@localhost) by svn.freebsd.org (8.14.9/8.14.9/Submit) id s7N7BamK042109; Sat, 23 Aug 2014 07:11:36 GMT (envelope-from koobs@FreeBSD.org) Message-Id: <201408230711.s7N7BamK042109@svn.freebsd.org> X-Authentication-Warning: svn.freebsd.org: koobs set sender to koobs@FreeBSD.org using -f From: Kubilay Kocak Date: Sat, 23 Aug 2014 07:11:36 +0000 (UTC) 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 X-SVN-Group: ports-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-head@freebsd.org X-Mailman-Version: 2.1.18-1 Precedence: list List-Id: SVN commit messages for the ports tree for head List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 23 Aug 2014 07:11:38 -0000 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 +# $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 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