[Lunar-commits] <moonbase> clasp: introduction to moonbase

[Michael 'v4hn' Goerner]

commit d290f266747e2896f3aab4426af3ca934515e5e5
Author: Michael 'v4hn' Goerner <v4hn at lunar-linux.org>
Date:   Sun May 13 02:10:35 2012 +0200

    clasp: introduction to moonbase
---
 compilers/clasp/BUILD   |   11 +++++++++++
 compilers/clasp/DETAILS |   15 +++++++++++++++
 2 files changed, 26 insertions(+)

diff --git a/compilers/clasp/BUILD b/compilers/clasp/BUILD
new file mode 100644
index 0000000..94801df
--- /dev/null
+++ b/compilers/clasp/BUILD
@@ -0,0 +1,11 @@
+(
+
+  OPTS+=" --config=release --prefix=/usr" &&
+
+  ./configure.sh $OPTS &&
+
+  cd build/release &&
+
+  default_make
+
+) > $C_FIFO 2>&1
diff --git a/compilers/clasp/DETAILS b/compilers/clasp/DETAILS
new file mode 100644
index 0000000..712aa9d
--- /dev/null
+++ b/compilers/clasp/DETAILS
@@ -0,0 +1,15 @@
+          MODULE=clasp
+         VERSION=2.0.6
+          SOURCE=$MODULE-$VERSION-source.tar.gz
+      SOURCE_URL=$SFORGE_URL/potassco/$MODULE/$VERSION
+      SOURCE_VFY=sha1:901c21c782049337ff5572c88fc36d05b9fb2d31
+        WEB_SITE=http://potassco.sf.net
+         ENTERED=20120512
+         UPDATED=20120512
+           SHORT="answer set solver for (extended) normal logic programs"
+
+cat << EOF
+clasp is an answer set solver for (extended) normal logic programs. It
+combines the high-level modeling capacities of answer set programming (ASP)
+with state-of-the-art techniques from the area of Boolean constraint solving.
+EOF