[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications

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


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





--- Comment #15 from Milos Jakubicek <xjakub at fi.muni.cz>  2009-03-27 10:39:29 EDT ---
(In reply to comment #14)
> You said: "regarding Java, the BR and R should be versioned, hence please use:
> BuildRequires:  java-devel >= 1:1.6.0 ... 
> Requires:       java >= 1:1.6.0"  Versioning Java makes the Fedora 10 build
> fail, and doesn't seem necessary; 1.5 seems to work just fine.

Sorry for the delay.

Well, it probably fails because you've wrong version of java-devel installed.
This is because java-devel is just a provides (try `yum provides java-devel`).
But anyway, if you tested building on 1.5 and working fine with 1.6, then it is
not necessary.

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