Search Criteria
Package Details: clingo 5.7.1-1
Package Actions
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: | 4 |
Popularity: | 0.000000 |
First Submitted: | 2019-03-27 15:15 (UTC) |
Last Updated: | 2024-02-16 13:52 (UTC) |
Dependencies (7)
- lua
- python (python37AUR, python311AUR, python310AUR)
- clang (llvm-rocm-gitAUR, llvm-gitAUR, clang-minimal-gitAUR, clang17-binAUR) (make)
- cmake (cmake-gitAUR) (make)
- git (git-gitAUR, git-glAUR) (make)
- ninja (ninja-kitwareAUR, ninja-memAUR, ninja-fuchsia-gitAUR, ninja-gitAUR, ninja-jobserverAUR) (make)
- re2c (re2c-gitAUR) (make)
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:
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:
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
duringbuild()
.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.