[Bug 721174] Review Request: cryptominisat - SAT solver

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

--- Comment #4 from Jerry James <loganjerry at gmail.com> 2011-11-24 13:54:00 EST ---
Thanks for the review, Brendan.  I'll fix the places that should use %{name} on
import.  But I'm confused....

(In reply to comment #3)
> Sorry, one last thing:
> 
> fedora16:~$ rpmlint rpmbuild/SRPMS/cryptominisat-2.9.1-1.fc16.src.rpm 
> 1 packages and 0 specfiles checked; 0 errors, 0 warnings.
> fedora16:~$ rpmlint rpmbuild/RPMS/x86_64/cryptominisat*.rpm 
> cryptominisat-devel.x86_64: W: no-documentation
> cryptominisat-libs.x86_64: W: shared-lib-calls-exit
> /usr/lib64/libcryptominisat-2.9.1.so exit at GLIBC_2.2.5
> 4 packages and 0 specfiles checked; 0 errors, 2 warnings.

Is this just to satisfy the requirement to show the rpmlint output, or do you
want me to do something about the library calling exit()?

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