On Sat, Aug 11, 2012 at 5:20 PM, Zell <zell08v@orange.fr> wrote:

Thank you for your answer.

Sorry, but it still does not work. I followed the instruction of Readme.configure:

bash-3.2$ autoreconf
configure.ac:43: option `dist-xz' not recognized
autoreconf: automake failed with exit status: 1
bash-3.2$ autoreconf -f
configure.ac:43: option `dist-xz' not recognized
autoreconf: automake failed with exit status: 1

Then I tried to update my autoconf, automake etc following this link
http://www.mattvsworld.com/blog/2010/02/install-the-latest-autoconf-and-automake-on-mac-os-10-6/

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.

Thanks.
Zell.

On Sat, Aug 11, 2012 at 9:16 AM, Roberto Bagnara <bagnara@cs.unipr.it> wrote:

On 08/10/12 09:39, Zell wrote:

I don't find 'configure' in your PPL. (downloaded by GIT)
Is that normal?

Yes: see the section on "Using the Git Sources"
in README.configure.
Kind regards,

Roberto

--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it