Chris Casinghino wrote:
Adam Chlipala<[email protected]> wrote:
With the version from the repository, I still have to "make reauto".
Hm. I'm out of ideas on that front. What's the error message?
Here's the error, though it's easy to work around on my end by running
make reauto.
I think I may have fixed the problem now by including more Autotools
files in the distribution. Would you mind trying once more to build
from scratch, pulling from the same repo? :)
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
