On 11/21/2013 03:57 PM, Jason Gross wrote:
On Thu, Nov 21, 2013 at 3:45 PM, Adam Chlipala <[email protected]
<mailto:[email protected]>> wrote:
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:
http://hg.impredicative.com/urweb
If you notice any autogenerated files that still appear in a fresh
clone, I'd be very glad to hear about them.
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
#!/bin/sh
autoreconf -fvi
Ah, thanks, that makes sense. The invocation I use is:
autoreconf
libtoolize -cf
automake --add-missing --force-missing --copy
autoreconf
Does the one you're suggesting do the same things?
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
