Permalink
Browse files

Merge pull request #146 from v4hn/clingo

clingo: introduce clingo to -other
  • Loading branch information...
2 parents ff3b00a + 0ad6351 commit be991f4119500cc43e76cd5101152c335ea2254e @cavalier38 cavalier38 committed Jan 6, 2014
View
@@ -0,0 +1,4 @@
+scons -j${MAKES:=1} --build-dir=release $OPTS &&
+prepare_install &&
+install -m755 {build/release,/usr/bin}/clingo &&
+gather_docs NOTES
View
@@ -0,0 +1,9 @@
+depends scons
+depends re2c
+depends bison
+
+# our tbb is too new
+#optional_depends tbb "WITH_TBB=tbb" " " "build solver with threading"
+
+optional_depends Python "WITH_PYTHON=python2.7 CPPPATH=/usr/include/python2.7" " " "build python scripting extension"
+optional_depends lua "WITH_LUA=lua" " " "build lua scripting extension"
View
@@ -0,0 +1,17 @@
+ MODULE=clingo
+ VERSION=4.2.1
+ SOURCE=$MODULE-$VERSION-source.tar.gz
+ SOURCE_URL=$SFORGE_URL/potassco/$MODULE/$VERSION
+SOURCE_DIRECTORY=$BUILD_DIRECTORY/$MODULE-$VERSION-source
+ SOURCE_VFY=sha1:c3a2baa895fac3b1ebacfc039ef5be8dd38a79d4
+ WEB_SITE=http://potassco.sf.net
+ ENTERED=20120512
+ UPDATED=20131116
+ SHORT="grounder for logic programs with first order variables"
+
+cat << EOF
+Clingo combines the projects gringo and clasp into one executable.
+gringo is a grounder for first order answer set programs that
+outputs SMODELS format programs.
+clasp solves such programs and enumerates respective answer sets.
+EOF
View
@@ -1,5 +1,3 @@
depends scons
depends re2c
depends bison
-
-optional_depends llvm "" "CXX=g++" "build with clang compiler(enable in llvm)"
View
@@ -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
@@ -1,3 +0,0 @@
-default_pre_build &&
-
-sedit "s:%pure_parser://\0:" libgringo/src/input/nongroundgrammar.yy

0 comments on commit be991f4

Please sign in to comment.