[Bug 721174] Review Request: cryptominisat - SAT solver

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

--- Comment #4 from Jerry James <loganjerry@xxxxxxxxx> 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@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.
_______________________________________________
package-review mailing list
package-review@xxxxxxxxxxxxxxxxxxxxxxx
https://admin.fedoraproject.org/mailman/listinfo/package-review



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