Search Criteria
Package Details: clingo 5.8.0-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: | pierspad |
| Last Packager: | pierspad |
| Votes: | 4 |
| Popularity: | 0.000000 |
| First Submitted: | 2019-03-27 15:15 (UTC) |
| Last Updated: | 2025-08-07 23:21 (UTC) |
Dependencies (7)
- lua (pallene-luaAUR)
- python
- clang (llvm-gitAUR, clang-minimal-gitAUR, clang17-binAUR) (make)
- cmake (cmake3AUR, cmake-gitAUR) (make)
- git (git-gitAUR, git-glAUR) (make)
- ninja (ninja-gitAUR, ninja-memAUR, ninja-noemacs-gitAUR, ninja-kitwareAUR, ninja-fuchsia-gitAUR) (make)
- re2c (re2c-gitAUR) (make)
Latest Comments
1 2 Next › Last »
popoffka commented on 2026-01-10 20:33 (UTC)
Build fails in re2c (logs). Seems related to https://github.com/skvadrik/re2c/issues/570
micwoj92 commented on 2025-01-27 18:33 (UTC)
Is this required to build using clang?
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=ONadsun 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.
1 2 Next › Last »