[Bug 456398] Review Request: why - Why software verification platform

[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: why - Why software verification platform


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





------- Additional Comments From dwheeler at dwheeler.com  2008-07-25 18:13 EST -------
(In reply to comment #4)

> I figured out that Why's Zenon output is wrong (it changed
> between Zenon versions and remained undetected due to the
> complete lack of Zenon documentation). I contacted upstream, and
> they wrote a patch for me this morning. The change will be added
> to the next version of Why.

That is absolutely fantastic.  Thanks for tracking that down.
Since I'm the Fedora packager for Zenon, I definitely want to make sure that
the two can work together :-).

Also: Don't change the name of "dp" at the moment.
Anybody who has pre-existing data will have generated makefiles
that call "dp", and changing the name will make their existing
data not work.  Instead, could you talk with upstream and
try to convince them to use a longer name, one less likely
to conflict with existing packages?  If _upstream_ makes the
change, then they make the change a lot more graceful than if you
just abruptly do it here.

(In reply to comment #5)

This may not be a problem after all.

When I tried to re-build this package, I had to install other things that in
turn pulled in tcl/tk... but when I "rpm -e tcl tk", I could still install this
package.  But in retrospect, I suspect that the issue is that you depended on
something for building that wants tcl/tk merely to enable certain compile-time
options.  As long as "Why" doesn't require tcl/tk, then clearly it shouldn't
include it as a "Requires:".

Okay, never mind, looks like it's not a real issue.



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