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-auto...
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.itwrote:
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/ http://www.cs.unipr.it/%7Ebagnara/ mailto:bagnara@cs.unipr.it