https://bugzilla.redhat.com/show_bug.cgi?id=1093516
Bug ID: 1093516
Summary: Review Request: gringo - Grounding tools for
(disjunctive) logic programs
Product: Fedora
Version: rawhide
Component: Package Review
Severity: medium
Priority: medium
Assignee: [email protected]
Reporter: [email protected]
QA Contact: [email protected]
CC: [email protected]
Spec URL: http://cottsay.fedorapeople.org/gringo/gringo.spec
SRPM URL: http://cottsay.fedorapeople.org/gringo/gringo-4.3.0-1.fc21.src.rpm
Description:
Current answer set solvers work on variable-free programs. Hence, a grounder is
needed that, given an input program with first-order variables, computes an
equivalent ground (variable-free) program. Gringo is such a grounder. Its
output can be processed further with clasp, claspar, or claspfolio.
Fedora Account System Username: cottsay
Copr builds (F19, F20 and rawhide):
http://copr.fedoraproject.org/coprs/cottsay/gringo/monitor/
rpmlint output:
gringo-examples.noarch: W: doc-file-dependency
/usr/share/doc/gringo-examples/examples/planning/convert.sh /bin/bash
gringo.x86_64: W: spelling-error %description -l en_US claspar -> clasp, Caspar
gringo.x86_64: W: spelling-error %description -l en_US claspfolio -> clasp
folio, clasp-folio, classification
gringo.x86_64: W: no-manual-page-for-binary gringo
gringo-debuginfo.x86_64: E: debuginfo-without-sources
gringo-devel.x86_64: W: no-documentation
gringo.src: W: spelling-error %description -l en_US claspar -> clasp, Caspar
gringo.src: W: spelling-error %description -l en_US claspfolio -> clasp folio,
clasp-folio, classification
5 packages and 1 specfiles checked; 1 errors, 7 warnings.
Notes:
- Because this is part of a chained group of packages (clasp => gringo =>
clingo => aspcud), I opted to use copr for test builds instead of koji.
- This package contains static-only libraries and adheres to the guidelines
[1].
- rpmlint reports "debuginfo-without-sources" but the two packaged files are a
single static library (no debuginfo) and a single executable, which was
compiled from a single .cpp file and has no headers, so has nothing to install.
You'd get the same result if you compiled a "Hello, World!" C++ program into an
RPM.
--
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component
_______________________________________________
package-review mailing list
[email protected]
https://admin.fedoraproject.org/mailman/listinfo/package-review
