Search Criteria
Package Details: clingo 5.5.0-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: | |
Conflicts: | |
Submitter: | xyproto |
Maintainer: | adsun |
Last Packager: | adsun |
Votes: | 5 |
Popularity: | 0.133485 |
First Submitted: | 2019-03-27 15:15 |
Last Updated: | 2021-04-20 19:05 |
Dependencies (7)
- lua
- python (python-dbg)
- clang (clang-pypy-stm, clang39, clang38, llvm-tce, clang8, llvm-toolchain-nightly-bin, clang-rc, llvm-minimal-git, llvm-git) (make)
- cmake (cmake-git) (make)
- git (git-git) (make)
- ninja (ninja-git, ninja-samurai, ninja-mem, ninja-kitware, ninja-bin) (make)
- re2c (re2c-git) (make)
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:
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
duringbuild()
.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.