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

[Michael 'v4hn' Goerner]

commit a8b7389fe94d0a1f2377c4eb7b8d1ae33040e415
Author: Michael 'v4hn' Goerner <v4hn at lunar-linux.org>
Date:   Sun May 13 02:11:48 2012 +0200

    gringo: introduction to moonbase
---
 compilers/gringo/BUILD   |   12 ++++++++++++
 compilers/gringo/DEPENDS |    4 ++++
 compilers/gringo/DETAILS |   18 ++++++++++++++++++
 3 files changed, 34 insertions(+)

diff --git a/compilers/gringo/BUILD b/compilers/gringo/BUILD
new file mode 100644
index 0000000..8e18ed0
--- /dev/null
+++ b/compilers/gringo/BUILD
@@ -0,0 +1,12 @@
+(
+  patch_it $SOURCE2 0 &&
+  
+  if in_depends $MODULE lua; then
+     sedit 's/WITH_LUA=shipped/WITH_LUA=system/' Makefile
+  fi &&
+
+  make $OPTS &&
+  prepare_install &&
+  install -m755 build/release/bin/gringo /usr/bin
+
+) > $C_FIFO 2>&1
diff --git a/compilers/gringo/DEPENDS b/compilers/gringo/DEPENDS
new file mode 100644
index 0000000..bc17d19
--- /dev/null
+++ b/compilers/gringo/DEPENDS
@@ -0,0 +1,4 @@
+depends cmake
+depends boost
+
+optional_depends lua "" "--dummy" "for system lua library"
diff --git a/compilers/gringo/DETAILS b/compilers/gringo/DETAILS
new file mode 100644
index 0000000..8c373ba
--- /dev/null
+++ b/compilers/gringo/DETAILS
@@ -0,0 +1,18 @@
+          MODULE=gringo
+         VERSION=3.0.4
+          SOURCE=$MODULE-$VERSION-source.tar.gz
+	 SOURCE2=patch-clang.diff
+      SOURCE_URL=$SFORGE_URL/potassco/$MODULE/$VERSION
+     SOURCE2_URL=http://potassco.svn.sourceforge.net/viewvc/potassco/tags/${MODULE}-${VERSION}/patches/
+SOURCE_DIRECTORY=$BUILD_DIRECTORY/$MODULE-$VERSION-source
+      SOURCE_VFY=sha1:a9057c602126f39fdf691336147987f2cef864e0
+     SOURCE2_VFY=sha1:2c38954e247f925c4e86b27c376341cc9342fcd8
+        WEB_SITE=http://potassco.sf.net
+         ENTERED=20120512
+         UPDATED=20120512
+           SHORT="grounder for logic programs with first order variables"
+
+cat << EOF
+gringo is a grounder for first order answer set programs that
+outputs SMODELS format programs (to use with e.g. clasp).
+EOF