[Bug 529404] Review Request: cvc3 - Validity checker of many-sorted first-order formulas with theories

[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=529404





--- Comment #7 from Jerry James <loganjerry at gmail.com>  2009-10-20 10:09:47 EDT ---
The patch has been sent upstream and the date noted in the spec file.  I made
the "badfile" change you suggested.  Also, the %check section is now there.  It
checks only the C++ interface.  Due to Fedora's requirements on the placement
of arch-specific JARs, I have to patch the Java sources to replace loadLibrary
with load of an absolute path.  This means that the JAR cannot be loaded until
after it is installed, which prevents any checking.

The URLs are the same as before:

http://jjames.fedorapeople.org/cvc3/cvc3.spec
http://jjames.fedorapeople.org/cvc3/cvc3-2.1-2.fc11.src.rpm

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