[Bug 450323] Review Request: coq - Coq proof management system

[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: coq - Coq proof management system


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





------- Additional Comments From amdunn at gmail.com  2008-07-14 21:35 EST -------
I realize this in retrospect (re: versions during review), though I originally
thought that was only after the original version was committed.

The links in 21 are current, though it seems to me that there is still a link in
the Koji build (here:
http://koji.fedoraproject.org/koji/getfile?taskID=699678&name=coq-8.1pl3-1.fc9.src.rpm
however, oddly enough, it seems that the system only stores a link to the source
rpm in one of the build branches each time, I believe the one that is listed first.)

It is true that I'm disabling debuginfo, as otherwise bytecode OCaml executables
are stripped and rendered inoperable. If there's a better way to do that, like
finding a way to selectively disable stripping from the debuginfo scripts, then
I can certainly change things to get that to work. The ppc64 build error was
pretty odd - the build logs were not much help at all in figuring out the
problem - I think one would really need access to a ppc64 system (which I don't
have) to make progress on that front.

(In reply to comment #32)
> Hey Alan. 
> 
> Is the spec link in comment #21 the current one? 
> I can't seem to get it from the koji links. 
> (Side note: it's best to bump the spec version and add a changelog entry for
> changes in review, then everyone can be sure they have the latest version and
> there is a history of changes). 
> 
> I would like to take a quick look before you import and see if I can suggest any
> solutions to anything. In particular it sounds like you are disabling debuginfo,
> but there may be some ways to get around that. Also, perhaps we can track down
> the ppc64 issue real quick. 
> 
> 



-- 
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.