[Lunar-commits] <moonbase-other> clingo: introduce clingo 4.2.1 to -other

[v4hn]

commit 4dab207e32ba8eb44a130520c64d8463e6aedb3c
Author: v4hn <me at v4hn.de>
Date: Sat, 16 Nov 2013 05:26:50 -0800
URL: https://github.com/lunar-linux/moonbase-other/commit/4dab207e32ba8eb44a130520c64d8463e6aedb3c

clingo: introduce clingo 4.2.1 to -other
---
  compilers/clingo/BUILD   | +4/-0     
  compilers/clingo/DEPENDS | +9/-0     
  compilers/clingo/DETAILS | +17/-0    
  3 files changed, 30 insertions(+)

--- /dev/null
+++ b/compilers/clingo/BUILD
@@ -0,0 +1,4 @@
+scons -j${MAKES:=1} --build-dir=release $OPTS &&
+prepare_install &&
+install -m755 {build/release,/usr/bin}/clingo &&
+gather_docs NOTES
--- /dev/null
+++ b/compilers/clingo/DEPENDS
@@ -0,0 +1,9 @@
+depends scons
+depends re2c
+depends bison
+
+# our tbb is too new
+#optional_depends tbb    "WITH_TBB=tbb" " " "build solver with threading"
+
+optional_depends Python "WITH_PYTHON=python2.7 CPPPATH=/usr/include/python2.7" " " "build python scripting extension"
+optional_depends lua    "WITH_LUA=lua" " " "build lua scripting extension"
--- /dev/null
+++ b/compilers/clingo/DETAILS
@@ -0,0 +1,17 @@
+          MODULE=clingo
+         VERSION=4.2.1
+          SOURCE=$MODULE-$VERSION-source.tar.gz
+      SOURCE_URL=$SFORGE_URL/potassco/$MODULE/$VERSION
+SOURCE_DIRECTORY=$BUILD_DIRECTORY/$MODULE-$VERSION-source
+      SOURCE_VFY=sha1:c3a2baa895fac3b1ebacfc039ef5be8dd38a79d4
+        WEB_SITE=http://potassco.sf.net
+         ENTERED=20120512
+         UPDATED=20131116
+           SHORT="grounder for logic programs with first order variables"
+
+cat << EOF
+Clingo combines the projects gringo and clasp into one executable.
+gringo is a grounder for first order answer set programs that
+outputs SMODELS format programs.
+clasp solves such programs and enumerates respective answer sets.
+EOF