#26334 : package pycosat

build/pkgs/pycosat/SPKG.txt

@@ -0,0 +1,28 @@
+= pycosat =
+
+== Description ==
+
+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.
+For ease of deployment, the picosat source (namely picosat.c and picosat.h) is
+included in this project. These files have been extracted from the picosat
+source.
+
+== License ==
+
+MIT
+
+== Upstream Contact ==
+
+PicoSAT: http://fmv.jku.at/picosat/
+pycosat: https://github.com/ContinuumIO/pycosat
+
+== Dependencies ==
+
+None.
+
+== Special Update/Build Instructions ==
+
+None.
+

build/pkgs/pycosat/checksums.ini

@@ -0,0 +1,4 @@
+tarball=pycosat-VERSION.tar.gz
+sha1=1c2243fcc52491db8aa11558d4df626f28311757
+md5=08e378db1c15dc1668bc62897bd325a5
+cksum=2006887185

build/pkgs/pycosat/dependencies

@@ -0,0 +1,5 @@
+$(PYTHON) | pip
+
+----------
+All lines of this file are ignored except the first.
+It is copied by SAGE_ROOT/build/make/install into SAGE_ROOT/build/make/Makefile.

build/pkgs/pycosat/package-version.txt

@@ -0,0 +1 @@
+0.6.3

build/pkgs/pycosat/spkg-check

@@ -0,0 +1,15 @@
+if [ "$SAGE_LOCAL" = "" ]; then
+   echo >&2 "Error: SAGE_LOCAL undefined - exiting..."
+   echo >&2 "Maybe run 'sage -sh'?"
+   exit 1
+fi
+
+echo "Testing pycosat..."
+
+cd src
+python test_pycosat.py
+
+if [ $? -ne 0 ]; then
+    echo >&2 "Error running self tests."
+    exit 1
+fi

build/pkgs/pycosat/spkg-install

@@ -0,0 +1,15 @@
+if [ "$SAGE_LOCAL" = "" ]; then
+   echo "SAGE_LOCAL undefined ... exiting";
+   echo "Maybe run 'sage -sh'?"
+   exit 1
+fi
+
+cd src
+
+sdh_pip_install .
+
+if [ $? -ne 0 ]; then
+    echo "Error installing pycosat ... exiting"
+    exit 1
+fi
+

build/pkgs/pycosat/type

@@ -0,0 +1 @@
+optional