gringo: version bump to 4.0

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

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)"

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