[Bug 459409] Review Request: E - Equational Theorem Prover
bugzilla at redhat.com
bugzilla at redhat.com
Wed Aug 20 18:56:42 UTC 2008
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=459409
--- Comment #1 from Jason Tibbitts <tibbs at math.uh.edu> 2008-08-20 14:56:40 EDT ---
Wow, this one builds with -O6! Without performance data, this is pointless;
the package should use the standard set of compile flags.
rpmlint says:
E.x86_64: E: non-standard-executable-perm /usr/bin/eground 0775
E.x86_64: E: non-standard-executable-perm /usr/bin/epclextract 0775
E.x86_64: E: non-standard-executable-perm /usr/bin/eprover 0775
These shouldn't be group writable.
I note that the debuginfo package is devoid of source. I suspect this is
because it doesn't use the proper compilation flags (mainly -g).
The package did build and install OK. (I built it locally in mock.)
--
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
More information about the Fedora-package-review
mailing list