[Ur] error building in user directory

Adam Chlipala adamc at impredicative.com
Sat Jan 30 15:41:20 EST 2010


Chris Casinghino wrote:
> Adam Chlipala<adamc at impredicative.com>  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? :)



More information about the Ur mailing list