Package Details: clingo 5.4.0-2

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: 3
Popularity: 0.009231
First Submitted: 2019-03-27 15:15
Last Updated: 2019-11-16 02:29

Latest Comments

adsun commented on 2020-06-17 16:47

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

VadeveSi commented on 2020-06-17 14:34

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

Yes, works now.

adsun commented on 2019-09-18 11:32

@ewirch Fixed. Does this work for you now?

ewirch commented on 2019-09-18 06:13

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

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

ewirch commented on 2019-09-17 20:02

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.