Package Details: clingo 5.7.1-1

Git Clone URL: https://aur.archlinux.org/clingo.git (read-only, click to copy)
Package Base: clingo
Description: Grounding tools for (disjunctive) logic programs
Upstream URL: https://potassco.org/
Licenses: MIT
Conflicts: clasp
Submitter: xyproto
Maintainer: adsun
Last Packager: adsun
Votes: 5
Popularity: 0.006702
First Submitted: 2019-03-27 15:15 (UTC)
Last Updated: 2024-02-16 13:52 (UTC)

Latest Comments

adsun commented on 2022-06-03 13:44 (UTC)

@ruffy Thanks for bringing this to my attention. Somehow the build was failing due to lto, and when I disabled that the build now succeeds in a chroot again. Let me know if that fixes the problem.

ruffy commented on 2022-05-17 07:09 (UTC)

I get the same error as @VadeveSi below, also if I build it inside a chroot. How can I fix that?

jachymb commented on 2021-07-07 07:44 (UTC)

To have full python support, the following needs to be added to compile option:

    -DCLINGO_BUILD_WITH_PYTHON=ON \

note that the package already depends on python and also has -DCLINGO_REQUIRE_PYTHON=ON

adsun commented on 2020-06-17 16:47 (UTC)

@VadeveSi The build succeeds in a clean chroot. Are you using a clean chroot?

VadeveSi commented on 2020-06-17 14:34 (UTC)

Hi, I get an error when trying to install. I am using Lua 5.3.5 Thanks in advance.

Error:

[107/111] Linking CXX executable bin/gringo
FAILED: bin/gringo 
: && /usr/bin/clang++  -D_FORTIFY_SOURCE=2 -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -O3 -DNDEBUG  -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now   -rdynamic app/gringo/CMakeFiles/gringo.dir/main.cc.o  -o bin/gringo  -Wl,-rpath,/home/saltfactory/.cache/yay/clingo/src/build/bin:  bin/libpyclingo.so.1.0  bin/libluaclingo.so.1.0  bin/libclingo.so.3.0 && :
/usr/bin/ld: bin/libluaclingo.so.1.0: undefined reference to `lua_rotate'
/usr/bin/ld: bin/libluaclingo.so.1.0: undefined reference to `lua_absindex'
/usr/bin/ld: bin/libluaclingo.so.1.0: undefined reference to `lua_callk'
/usr/bin/ld: bin/libluaclingo.so.1.0: undefined reference to `lua_pcallk'
/usr/bin/ld: bin/libluaclingo.so.1.0: undefined reference to `lua_getglobal'
/usr/bin/ld: bin/libluaclingo.so.1.0: undefined reference to `luaL_loadbufferx'
/usr/bin/ld: bin/libluaclingo.so.1.0: undefined reference to `lua_copy'
/usr/bin/ld: bin/libluaclingo.so.1.0: undefined reference to `lua_tointegerx'
/usr/bin/ld: bin/libluaclingo.so.1.0: undefined reference to `luaL_requiref'
/usr/bin/ld: bin/libluaclingo.so.1.0: undefined reference to `luaL_setfuncs'
/usr/bin/ld: bin/libluaclingo.so.1.0: undefined reference to `luaL_checkversion_'
/usr/bin/ld: bin/libluaclingo.so.1.0: undefined reference to `lua_tonumberx'
clang-10: error: linker command failed with exit code 1 (use -v to see invocation)
[108/111] Linking CXX executable bin/clingo
FAILED: bin/clingo 
: && /usr/bin/clang++  -D_FORTIFY_SOURCE=2 -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -O3 -DNDEBUG  -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now   -rdynamic app/clingo/CMakeFiles/clingo.dir/main.cc.o  -o bin/clingo  -Wl,-rpath,/home/saltfactory/.cache/yay/clingo/src/build/bin:  bin/libpyclingo.so.1.0  bin/libluaclingo.so.1.0  bin/libclingo.so.3.0 && :
/usr/bin/ld: bin/libluaclingo.so.1.0: undefined reference to `lua_rotate'
/usr/bin/ld: bin/libluaclingo.so.1.0: undefined reference to `lua_absindex'
/usr/bin/ld: bin/libluaclingo.so.1.0: undefined reference to `lua_callk'
/usr/bin/ld: bin/libluaclingo.so.1.0: undefined reference to `lua_pcallk'
/usr/bin/ld: bin/libluaclingo.so.1.0: undefined reference to `lua_getglobal'
/usr/bin/ld: bin/libluaclingo.so.1.0: undefined reference to `luaL_loadbufferx'
/usr/bin/ld: bin/libluaclingo.so.1.0: undefined reference to `lua_copy'
/usr/bin/ld: bin/libluaclingo.so.1.0: undefined reference to `lua_tointegerx'
/usr/bin/ld: bin/libluaclingo.so.1.0: undefined reference to `luaL_requiref'
/usr/bin/ld: bin/libluaclingo.so.1.0: undefined reference to `luaL_setfuncs'
/usr/bin/ld: bin/libluaclingo.so.1.0: undefined reference to `luaL_checkversion_'
/usr/bin/ld: bin/libluaclingo.so.1.0: undefined reference to `lua_tonumberx'
clang-10: error: linker command failed with exit code 1 (use -v to see invocation)
[109/111] Building CXX object libpyclingo/CMakeFiles/libpyclingom.dir/pyclingo.cc.o
ninja: build stopped: subcommand failed.
==> ERROR: A failure occurred in build().
    Aborting...
Error making: clingo

ewirch commented on 2019-09-19 07:15 (UTC)

Yes, works now.

adsun commented on 2019-09-18 11:32 (UTC)

@ewirch Fixed. Does this work for you now?

ewirch commented on 2019-09-18 06:13 (UTC)

You changed CXXFLAGS only for the cmake invocation. It will be the original CXXFLAGS when ninja (and clang+++) runs.

adsun commented on 2019-09-17 21:41 (UTC)

@ewirch Fixed by modifying CXXFLAGS to remove -fvar-tracking-assignments during build().

ewirch commented on 2019-09-17 20:02 (UTC)

Building this package fails, if debug option is enabled in /etc/makepkg.conf. This is because /etc/makepkg.conf adds a GCC specific flag to CXXFLAGS:

DEBUG_CXXFLAGS="-g -fvar-tracking-assignments"

Add !buildflags to PKGBUILD options to prevent makepkg of setting default CXXFLAGS.