<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
  <meta content="text/html; charset=ISO-8859-1"
 http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
OK, thanks.  I've added the script you suggested originally.  (It
always surprised me that there wasn't a single standard command line to
do all this stuff, and I'm glad to see that there is!)<br>
<br>
On 11/21/2013 04:07 PM, Jason Gross wrote:
<blockquote
 cite="mid:CAKObCarbY7sMKp+TEiDLxBmyPaBOo1kxiKQRYeQ32RgG=e5CuQ@mail.gmail.com"
 type="cite">
  <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 moz-do-not-send="true"
 href="mailto:adamc@csail.mit.edu" target="_blank">adamc@csail.mit.edu</a>></span>
wrote:<br>
  <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">
    <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 moz-do-not-send="true"
 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 moz-do-not-send="true" 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>
  </blockquote>
  </div>
  </div>
</blockquote>
</body>
</html>