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

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

--- Comment #8 from Jerry James <loganjerry@xxxxxxxxx> 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.
_______________________________________________
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]