[Bug 453503] Review Request:zenon - Automated theorem prover for first-order classical logic

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug report.

Summary: Review Request:zenon - Automated theorem prover for first-order classical logic


https://bugzilla.redhat.com/show_bug.cgi?id=453503





------- Additional Comments From dwheeler at dwheeler.com  2008-07-21 16:36 EST -------
I have submitted zenon for Fedora 8, Fedora 9, and Fedora 10/Rawhide.  I've set
Bodhi so that it'll be pushed out for Fedora 8 and Fedora 9.

One odd thing: I had to make a patch for Fedora 8. I used this construct:
 %{?fc8:ExcludeArch: ppc64}
which is one of the suggested formats documented in:
https://fedoraproject.org/wiki/Packaging/DistTag

Unfortunately, %fc8 didn't work. Instead, I had to do this:
 %if 0%fedora == 8
 ExcludeArch: ppc64
 %endif

I reported the problem with %fc8 as fedora-infrastructure ticket #717:
 https://fedorahosted.org/fedora-infrastructure/ticket/717
the infrastructure team have since fixed this, so %fc8 should work in the future.

I couldn't easily discover this earlier, because scratch builds across different
fedora releases don't work.  As noted in:
 https://fedorahosted.org/fedora-infrastructure/ticket/711
the values of %fedora, %fc8, etc., are determined by the CREATOR of the SRPM,
and NOT by the environment performing the build, so you effectively can't do
scratch builds for a different version of fedora than the one creating the SRPM.

Anyway, it's all posted, and a bug in the infrastructure has now been fixed so
future releases should go smoothly.


-- 
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, or are watching someone who is.