<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Nov 21, 2013 at 3:45 PM, Adam Chlipala <span dir="ltr"><<a href="mailto:adamc@csail.mit.edu" target="_blank" onclick="window.open('https://mail.google.com/mail/?view=cm&tf=1&to=adamc@csail.mit.edu&cc=&bcc=&su=&body=','_blank');return false;">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">
I've finally gotten around to removing autogenerated files from the
Mercurial repo.  Would anyone like to help me sanity-check the result?<br>
<br>
I've put up a dry run of a source distribution here:<br>
    <a href="http://www.impredicative.com/ur/urweb-test.tgz" target="_blank">http://www.impredicative.com/ur/urweb-test.tgz</a><br>
It would be great if some folks could try building and installing from
that tarball and let me know how it goes.<br></div></blockquote><div><br></div><div>Works fine for me on Ubuntu 12.04.3.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div bgcolor="#ffffff" text="#000000">
<br>
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><br></div><div>-Jason</div></div></div></div>