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