Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
clingo: introduce clingo 4.2.1 to -other
- Loading branch information
Showing
3 changed files
with
30 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,4 @@ | ||
scons -j${MAKES:=1} --build-dir=release $OPTS && | ||
prepare_install && | ||
install -m755 {build/release,/usr/bin}/clingo && | ||
gather_docs NOTES |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -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" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -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 |