[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 #8 from David A. Wheeler <dwheeler at dwheeler.com>  2009-10-20 11:59:02 EDT ---
That's great news!!!  I think we're getting really close, if not there, but I
have two questions about the rpmlint output.

Results of: rpmlint cvc3.spec 
 cvc3.spec:98: W: non-standard-group Development/Libraries/Java
 0 packages and 1 specfiles checked; 0 errors, 1 warnings.
QUESTION 1: Is that the right group for a Java library?

Results of: rpmlint ../RPMS/i586/cvc3-*
cvc3.i586: W: shared-lib-calls-exit /usr/lib/libcvc3.so.1.0.0 exit at GLIBC_2.0
cvc3-devel.i586: W: no-documentation
cvc3-emacs.i586: W: no-documentation
cvc3-emacs-el.i586: W: no-documentation
cvc3-java.i586: W: non-standard-group Development/Libraries/Java
cvc3-java.i586: W: no-documentation
cvc3-java.i586: W: devel-file-in-non-devel-package /usr/lib/cvc3/libcvc3jni.so
cvc3-xemacs.i586: W: no-documentation
cvc3-xemacs-el.i586: W: no-documentation
9 packages and 0 specfiles checked; 0 errors, 9 warnings.

Nearly all of these warnings are dups or non-problems.  The "no-documentation"
ones are fine (the docs are in the cvc3-doc package), and calling exit is fine
as well.  The "non-standard-group" is a duplicate warning, as noted above, so
the same question applies.

QUESTION 2: What about this warning, though - is that a problem?:
 cvc3-java.i586: W: devel-file-in-non-devel-package /usr/lib/cvc3/libcvc3jni.so
Is this the right way to package a Java library?  I would've expected this to
be in a "java-devel" package; are my expectations incorrect?  I haven't delved
into the rules for Java packages.

I looked at the rpmls output; that looked okay.

I installed and did a few simple tests - they worked perfectly.

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