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

[v4hn]

commit 0ad635112e183e8e63eee0dc906fdcaa32bfb692
Author: v4hn <me at v4hn.de>
Date: Sat, 16 Nov 2013 06:00:14 -0800
URL: https://github.com/lunar-linux/moonbase-other/commit/0ad635112e183e8e63eee0dc906fdcaa32bfb692

gringo: bump to 4.2.1
---
  compilers/gringo/DEPENDS   | +0/-2     
  compilers/gringo/DETAILS   | +4/-4     
  compilers/gringo/PRE_BUILD | +0/-3     
  3 files changed, 4 insertions(+), 9 deletions(-)

--- a/compilers/gringo/DEPENDS
+++ b/compilers/gringo/DEPENDS
@@ -1,5 +1,3 @@
 depends scons
 depends re2c
 depends bison
-
-optional_depends llvm "" "CXX=g++" "build with clang compiler(enable in llvm)"
--- a/compilers/gringo/DETAILS
+++ b/compilers/gringo/DETAILS
@@ -1,12 +1,12 @@
           MODULE=gringo
-         VERSION=4.1
+         VERSION=4.2.1
           SOURCE=$MODULE-$VERSION-source.tar.gz
-      SOURCE_URL=$SFORGE_URL/potassco/$MODULE/${VERSION}.0
+      SOURCE_URL=$SFORGE_URL/potassco/$MODULE/$VERSION
 SOURCE_DIRECTORY=$BUILD_DIRECTORY/$MODULE-$VERSION-source
-      SOURCE_VFY=sha1:72fa4dc1813ef44cabec4ada35a670354d5eede4
+      SOURCE_VFY=sha1:e27790e7d27c54ebb993d97debc01df5c2a4ddd6
         WEB_SITE=http://potassco.sf.net
          ENTERED=20120512
-         UPDATED=20130814
+         UPDATED=20131116
            SHORT="grounder for logic programs with first order variables"
 
 cat << EOF
--- a/compilers/gringo/PRE_BUILD
+++ /dev/null
@@ -1,3 +0,0 @@
-default_pre_build &&
-
-sedit "s:%pure_parser://\0:" libgringo/src/input/nongroundgrammar.yy