Finally, I find a work-around to solve this problem.
For those who are still struggling for installing the latest version PPL: the installation may be much more simpler using the package given by this ftp page
ftp://rsync.cs.unipr.it/pub/ppl/snapshots/
The packages from this page contains already a working "configure" file.
Besides, I suggest that we add a constraint parser in PPL's Java interface so that we can add a constraint 'x+1<=y' literally like in C++.
Zell.
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-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