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: | luna-altair |
| 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-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
« First ‹ Previous 1 2
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.
« First ‹ Previous 1 2