--- Comment #17 from John C Peterson <jcp(a)eskimo.com> ---
I have posted an updated SRPM as noted below.
I added the emails I got from Argonne National Lab in response to my query for
clarification of the license terms to the LICENSE file. In the spec file, I
moved LICENSE from %doc to the %license macro in the %files section.
When running eqp, the output contains some dynamic information such as run
date/time stamps, and CPU time used. This makes it complicated to test the
program using a simple diff command on the output produced. However, eqp
returns a status code of 10 to the shell when a proof is found. I used this
feature to construct a %check section in the spec file. It runs the executable
on some of the provided examples and checks for the expected return status code
of 10 to determine success / failure.
A scratch build of the updated SRPM against rawhide here;
Spec URL: http://www.eskimo.com/~jcp/eqp.spec
SRPM URL: http://www.eskimo.com/~jcp/eqp-09e-5.fc25.src.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