Thank you for your answer. <br><br>Sorry, but it still does not work.  I followed the instruction of Readme.configure: <br><br>bash-3.2$ autoreconf<br><a href="http://configure.ac:43">configure.ac:43</a>: option `dist-xz' not recognized<br>
autoreconf: automake failed with exit status: 1<br>bash-3.2$ autoreconf -f<br><a href="http://configure.ac:43">configure.ac:43</a>: option `dist-xz' not recognized<br>autoreconf: automake failed with exit status: 1<br>
<br>Then I tried to update my autoconf, automake etc following this link<br><a href="http://www.mattvsworld.com/blog/2010/02/install-the-latest-autoconf-and-automake-on-mac-os-10-6/">http://www.mattvsworld.com/blog/2010/02/install-the-latest-autoconf-and-automake-on-mac-os-10-6/</a><br>
<br>Then I tried 'autoreconf'. It does not work with the same error message above.  I have no clue to get out from this situation. Could you help please? I only need to recompile the several files of Java interface that Enea recently added. <br>
<br>Thanks. <br>Zell.<br><br><br><br><div class="gmail_quote">On Sat, Aug 11, 2012 at 9:16 AM, Roberto Bagnara <span dir="ltr"><<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On 08/10/12 09:39, Zell wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I don't find 'configure' in your PPL. (downloaded by GIT)<br>
Is that normal?<br>
</blockquote>
<br></div>
Yes: see the section on "Using the Git Sources"<br>
in README.configure.<br>
Kind regards,<br>
<br>
   Roberto<span class="HOEnZb"><font color="#888888"><br>
<br>
-- <br>
Prof. Roberto Bagnara<br>
Applied Formal Methods Laboratory<br>
Department of Mathematics, University of Parma, Italy<br>
<a href="http://www.cs.unipr.it/%7Ebagnara/" target="_blank">http://www.cs.unipr.it/~<u></u>bagnara/</a><br>
mailto:<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a><br>
</font></span></blockquote></div><br>