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

[v4hn]

commit 8fcc510053611d01887ff6674983c415a73810ca
Author: v4hn <me at v4hn.de>
Date: Tue, 02 Apr 2013 06:28:20 -0700
URL: https://github.com/lunar-linux/moonbase-other/commit/8fcc510053611d01887ff6674983c415a73810ca

gringo: version bump to 4.0
---
  compilers/gringo/BUILD   | +3/-12    
  compilers/gringo/DEPENDS | +4/-3     
  compilers/gringo/DETAILS | +4/-6     
  3 files changed, 11 insertions(+), 21 deletions(-)

--- a/compilers/gringo/BUILD
+++ b/compilers/gringo/BUILD
@@ -1,12 +1,3 @@
-(
-  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
+scons -j${MAKES:=1} --build-dir=release $OPTS &&
+prepare_install &&
+install -m755 build/release/gringo /usr/bin
--- a/compilers/gringo/DEPENDS
+++ b/compilers/gringo/DEPENDS
@@ -1,4 +1,5 @@
-depends cmake
-depends boost
+depends scons
+depends re2c
+depends bison
 
-optional_depends lua "" "--dummy" "for system lua library"
+optional_depends llvm "" "CXX=g++" "build with clang compiler(enable in llvm)"
--- a/compilers/gringo/DETAILS
+++ b/compilers/gringo/DETAILS
@@ -1,15 +1,13 @@
           MODULE=gringo
-         VERSION=3.0.4
+         VERSION=4.0
           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_URL=$SFORGE_URL/potassco/$MODULE/${VERSION}.0
 SOURCE_DIRECTORY=$BUILD_DIRECTORY/$MODULE-$VERSION-source
-      SOURCE_VFY=sha1:a9057c602126f39fdf691336147987f2cef864e0
-     SOURCE2_VFY=sha1:2c38954e247f925c4e86b27c376341cc9342fcd8
+      SOURCE_VFY=sha1:e651c4d3d463393e4a6710742699733d0e8fd6ce
         WEB_SITE=http://potassco.sf.net
          ENTERED=20120512
-         UPDATED=20120512
+         UPDATED=20130402
            SHORT="grounder for logic programs with first order variables"
 
 cat << EOF