Package Details: clingo 5.4.0-2

Git Clone URL: (read-only, click to copy)
Package Base: clingo
Description: Grounding tools for (disjunctive) logic programs
Upstream URL:
Licenses: MIT
Conflicts: clasp
Submitter: xyproto
Maintainer: adsun
Last Packager: adsun
Votes: 3
Popularity: 0.56
First Submitted: 2019-03-27 15:15
Last Updated: 2019-11-16 02:29

Latest Comments

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.