Package Details: gringo 4.5.4-1

Git Clone URL: (read-only)
Package Base: gringo
Description: Grounding tools for (disjunctive) logic programs.
Upstream URL:
Keywords: clingo
Licenses: GPL3
Groups: potassco
Submitter: None
Maintainer: None
Last Packager: vbmithr
Votes: 40
Popularity: 0.061617
First Submitted: 2012-02-07 09:55
Last Updated: 2016-05-15 10:55

Latest Comments

vbmithr commented on 2017-01-11 10:44

Disowning, this is now superseeded by the `clingo` package.

catalin.hritcu commented on 2017-01-11 08:07

This package and clingo should be marked as conflicting.

vbmithr commented on 2016-10-12 21:50

gringo is now part of clingo. Install clingo instead.

tastyminerals commented on 2016-08-21 08:36

Getting the following error :(

build/release/libgringo.a(lua.o): In function `Gringo::Lua::main(Gringo::Control&)': undefined reference to `lua_pcall'
collect2: error: ld returned 1 exit status
scons: *** [build/release/gringo] Error 1
scons: building terminated because of errors.
==> ERROR: A failure occurred in build().
==> ERROR: Makepkg was unable to build gringo.
==> Restart building gringo ? [y/N]

vbmithr commented on 2016-05-15 10:55

Thanks, updated.

flungo commented on 2016-05-12 10:42

Here is a patch fixing the build with the missing import using the patch from the SourceForge bug report (

IgooR commented on 2016-05-09 18:38

Doesn't build for me. Could get it to work adding the missing include mentioned in this bugreport:

tjim commented on 2014-09-25 22:30

Problem was insufficient ram. >512MB needed.

tjim commented on 2014-09-25 22:17

Not compiling with latest g++ (from core/gcc 4.9.1-2 (base-devel))

g++ -o build/release/libgringo/src/ground/statements.o -c -std=c++11 -O3 -Wall -DNDEBUG=1 -Ilibgringo -Ibuild/release/libgringo/src -Ilibgringo/src -Ilibprogram_opts libgringo/src/ground/

g++: internal compiler error: Killed (program cc1plus)

HolySpirit commented on 2014-06-08 11:37

I think that I found what the problem is. I have some old version of bison
that I installed for a compilers course more then a year ago so I barely
remembered it. (tried `bison --version` and it printed 2.4.1 to my surprise)
I have to figure out now how did I install it back then and how to remove it
when I get the time to do that.

So the package is probably fine, sorry to bother unnecessarily, thanks :)

vbmithr commented on 2014-06-08 09:20

Are you sure you have bison in your path (`which bison`)
I can't repro here.

HolySpirit commented on 2014-06-07 15:18

Does not build for me, it complains about not finding bison 2.5,
although I do have the latest bison from the core repo (version 3.0.2).
Perhaps it needs the older version, or be configured to look for the new one.

The error I get:

==> Starting build()...
patching file app/gringo/
scons: Reading SConscript files ...
Checking for bison 2.5... no
error: no usable bison version found
Checking for re2c... yes
Checking for C++ function snprintf()... yes
Checking for C++ function vsnprintf()... yes
Checking for C++ function std::to_string()... yes
==> ERROR: A failure occurred in build().
==> ERROR: Makepkg was unable to build gringo.

vbmithr commented on 2014-05-04 08:31

Fixed, thanks.

Anonymous comment on 2014-05-01 13:58

/home/user/.build/gringo/PKGBUILD: line 22: ../../uint_max.patch: No such file or directory

PKGBUILD is broken, here's a patch:

--- a/PKGBUILD 2014-05-01 15:57:26.771965510 +0200
+++ b/PKGBUILD 2014-05-01 15:57:16.528666649 +0200
@@ -19,7 +19,7 @@

build() {
cd "${srcdir}/${pkgname}-${pkgver}-source"
- patch -p1 < ../../uint_max.patch
+ patch -p1 < "$srcdir/uint_max.patch"
scons --build-dir=release ${pkgname}

vbmithr commented on 2014-03-01 21:50

Please upgrade.

Anonymous comment on 2012-12-12 11:40

Updated PKGBUILD (now depends on lua51 instead lua)

Anonymous comment on 2012-12-05 09:11

Updated PKGBUILD (added lua < 5.2 to dependencies)

buhman commented on 2012-12-05 04:55

gringo is not compatible with lua 5.2; add "lua<5.2" to depends.

Anonymous comment on 2012-06-07 14:52

Updated PKGBUILD (solved bug for gcc >= 4.7 in build)

Anonymous comment on 2012-06-07 12:52

Hey, could you pleas add -DCMAKE_CXX_FLAGS=-fpermissive to the build command? Otherwise gcc 4.7 interrupts the build process.