[Bug 436033] Review Request: mona - a solver for the WS1S and WS2S logics

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

Summary: Review Request: mona - a solver for the WS1S and WS2S logics


https://bugzilla.redhat.com/show_bug.cgi?id=436033





------- Additional Comments From loganjerry at gmail.com  2008-03-10 17:50 EST -------
Thanks.  Also, upstream accepted the rest of my patches and pushed a new
version, and I realized that some people might want the examples, so I put them
into a subpackage as well.

Let me address two rpmlint complaints.  First, the -devel subpackage does not
depend on the main package.  That is because it depends on the -libs subpackage,
where its true dependencies lie.  I was urged to split out -libs as a subpackage
for multiarch reasons, but it seems that rpmlint doesn't recognize this use. 
Second, rpmlint complains about an undefined non-weak symbol "guide" in the
libmonagta library.  That is upstream's doing; that symbol has to be defined by
anything that links with this library.  I'll look into refactoring the code so
that we can avoid this, but for this release, that rpmlint warning is unavoidable.

Spec URL: http://jjames.fedorapeople.org/mona/mona.spec
SRPM URL: http://jjames.fedorapeople.org/mona/mona-1.4r10-1.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, or are watching someone who is.