coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Packaging for Fedora

From: "Alan Dunn" <amdunn AT gmail.com>
To: coq-club AT pauillac.inria.fr
Cc: dwheeler AT dwheeler.com
Subject: [Coq-Club] Packaging for Fedora
Date: Thu, 19 Jun 2008 05:55:34 -0400
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:mime-version:content-type :content-transfer-encoding:content-disposition; b=mJLDogUwwortUAt7f8AqCJBssYVEL++VJo0/tIlPwmvcMEEGyPn2fNA/Z7VDNcU+Zr 3BIedR0JuN+1WNRoPtOvb0sT62IM60HEOz8f2uFiFEqhSuuqbCq6uHq1bw/hSJmGebLl IoZOYP73yozxYycrez1R62rYV6nFFxdkLxgBg=
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

I've been working on trying to package up Coq for inclusion in the
Fedora repositories (with the hope that at minimum greater ease of
installing formal methods software may lead to more software developed
with formal methods). I thought people might be interested:

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

Furthermore, at the moment, the build fails on the ppc64 architecture:

http://koji.fedoraproject.org/koji/taskinfo?taskID=666511

It appears to die exactly on the line:
bin/coqtop.opt -boot -nois -compile theories/Init/Notations

(The full build log is available at the above link.)

I'm not yet a Fedora packaging or Coq expert, so I would greatly
appreciate any support (perhaps in helping along the review or
sponsorship process?) or comments.

- Alan

[Coq-Club] Packaging for Fedora, Alan Dunn