[Lunar-commits] <moonbase-other> gringo: version bump

[v4hn]

commit 4acdf421563a2380cd6b60c69de153ce8410316a
Author: v4hn <me at v4hn.de>
Date: Wed, 14 Aug 2013 01:15:28 -0700
URL: https://github.com/lunar-linux/moonbase-other/commit/4acdf421563a2380cd6b60c69de153ce8410316a

gringo: version bump
---
  compilers/gringo/DETAILS   | +3/-4     
  compilers/gringo/PRE_BUILD | +3/-0     
  2 files changed, 6 insertions(+), 4 deletions(-)

--- a/compilers/gringo/DETAILS
+++ b/compilers/gringo/DETAILS
@@ -1,13 +1,12 @@
           MODULE=gringo
-         VERSION=4.0
+         VERSION=4.1
           SOURCE=$MODULE-$VERSION-source.tar.gz
-	 SOURCE2=patch-clang.diff
       SOURCE_URL=$SFORGE_URL/potassco/$MODULE/${VERSION}.0
 SOURCE_DIRECTORY=$BUILD_DIRECTORY/$MODULE-$VERSION-source
-      SOURCE_VFY=sha1:e651c4d3d463393e4a6710742699733d0e8fd6ce
+      SOURCE_VFY=sha1:72fa4dc1813ef44cabec4ada35a670354d5eede4
         WEB_SITE=http://potassco.sf.net
          ENTERED=20120512
-         UPDATED=20130402
+         UPDATED=20130814
            SHORT="grounder for logic programs with first order variables"
 
 cat << EOF
--- /dev/null
+++ b/compilers/gringo/PRE_BUILD
@@ -0,0 +1,3 @@
+default_pre_build &&
+
+sedit "s:%pure_parser://\0:" libgringo/src/input/nongroundgrammar.yy