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@xxxxxxxxx> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED --- Comment #5 from Jerry James <loganjerry@xxxxxxxxx> 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. _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review