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

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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

_______________________________________________
Fedora-package-review mailing list
Fedora-package-review@xxxxxxxxxx
http://www.redhat.com/mailman/listinfo/fedora-package-review

[Index of Archives]     [Fedora Legacy]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite News]     [KDE Users]     [Fedora Tools]