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

bugzilla at redhat.com bugzilla at redhat.com
Tue Jan 19 21:27:36 UTC 2010


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

--- Comment #8 from Jerry James <loganjerry at gmail.com> 2010-01-19 16:27:34 EST ---
This isn't a large enough package to worry obsessively about parallel make
working, but I'd like to make one more try if you don't mind.  The problems you
had were because the generated parser files weren't found by ocamldep.  The
lexers have the necessary dependencies listed in the Makefile already, so I
added the parser dependencies by hand.  I wonder why I didn't hit the problem
you did?  Anyway, I believe all the dependencies are there now.  Would you mind
trying again?  The URLs are the same as in comment 5.

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



More information about the package-review mailing list