<div dir="ltr">On my machine, your first autoreconf fails, but the second one runs fine.  autoreconf -fvi informs me that it calls:<div>aclocal --force -I m4</div><div>libtoolize --install --copy --force</div><div>autoconf --force</div>

<div>autoheader --force</div><div>automake --add-missing --copy --force-missing</div><div><br></div><div>(It also doesn't error like your autoreconf call.)  The -i option will also call autopoint, if it's deemed necessary.</div>

</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Nov 21, 2013 at 4:02 PM, Adam Chlipala <span dir="ltr"><<a href="mailto:adamc@csail.mit.edu" target="_blank">adamc@csail.mit.edu</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><u></u>


  

<div bgcolor="#ffffff" text="#000000"><div class="im">
On 11/21/2013 03:57 PM, Jason Gross wrote:
</div><blockquote type="cite">
  <div dir="ltr"><div class="im">On Thu, Nov 21, 2013 at 3:45 PM, Adam Chlipala <span dir="ltr"><<a href="mailto:adamc@csail.mit.edu" target="_blank">adamc@csail.mit.edu</a>></span>
wrote:<br>
  </div><div class="im"><div class="gmail_extra">
  <div class="gmail_quote">
  <blockquote class="gmail_quote" style="border-left:1px solid rgb(204,204,204);margin:0pt 0pt 0pt 0.8ex;padding-left:1ex">
    <div bgcolor="#ffffff" text="#000000">Also, the public Mercurial
repository should now omit all autogenerated
files.  It would be helpful to hear from people who manage to build and
install from fresh clones of that repo, which lives at:<br>
    <a href="http://hg.impredicative.com/urweb" target="_blank">http://hg.impredicative.com/urweb</a><br>
If you notice any autogenerated files that still appear in a fresh
clone, I'd be very glad to hear about them.<br>
    </div>
  </blockquote>
  <div><br>
  </div>
  <div>They all seem to be gone.  However, I think it's standard
practice to include an executable "autogen.sh" file in the top level
directory which goes something along the lines of</div>
  <div><br>
  </div>
  <div>#!/bin/sh</div>
  <div>autoreconf -fvi</div>
  </div>
  </div>
  </div></div>
</blockquote>
<br>
Ah, thanks, that makes sense.  The invocation I use is:<br>
    autoreconf<br>
    libtoolize -cf<br>
    automake --add-missing --force-missing --copy<br>
    autoreconf<br>
<br>
Does the one you're suggesting do the same things?<br>
</div>

<br>_______________________________________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" target="_blank">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
<br></blockquote></div><br></div>