https://bugzilla.redhat.com/show_bug.cgi?id=769958 --- Comment #17 from John C Peterson <jcp@xxxxxxxxxx> --- 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; https://koji.fedoraproject.org/koji/taskinfo?taskID=18494235 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 _______________________________________________ package-review mailing list -- package-review@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to package-review-leave@xxxxxxxxxxxxxxxxxxxxxxx