[Bug 555161] Review Request: csisat - Tool for LA+EUF Interpolation

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

Jerry James <loganjerry at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED

--- Comment #5 from Jerry James <loganjerry at gmail.com> 2010-01-19 15:47:21 EST ---
I leave FIXMEs for myself when I find a package that won't build in parallel
out of the box.  I can generally fix those if I try hard enough.  This one was
just missing dependency information for the OCaml sources, easily generated
with ocamldep.  With that in place, I get good parallel builds.  (I have an
8-core box, so I can crank the parallelism way up to try to trigger problems.)

I took your suggestions on altering the %prep section of the spec file.

I agree that the summary is totally opaque to the uninitiated.  On the other
hand, the uninitiated also won't have any idea what to do with this package, so
I'm not sure this is really a problem.  That's really just an excuse; I have no
idea how to make it clearer.

I took your suggestion on the longer description, although note that I sneakily
kept my original version, too. :-)

The default csi_dpll is actually written in OCaml, and is part of this package.
 You have the choice of using it, or the external picosat library.  The picosat
integration may well be experimental, but since the package tries to build it
by default, I thought I had better provide it.

New URLs:

Spec URL: http://jjames.fedorapeople.org/csisat/csisat.spec
SRPM URL: http://jjames.fedorapeople.org/csisat/csisat-1.2-2.fc12.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.