Hi, the ppl from GIT does not have the 'configure' file.
Hi, all,
I don't find 'configure' in your PPL. (downloaded by GIT) Is that normal?
Zell
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
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
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
On 08/11/12 17:20, Zell 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 http://configure.ac:43: option `dist-xz' not recognized autoreconf: automake failed with exit status: 1 bash-3.2$ autoreconf -f configure.ac:43 http://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.
You need to upgrade also Automake and Libtool if you want to use the Git version. In order to facilitate you, we just uploaded a snapshot of PPL 1.1 at
http://bugseng.com/products/ppl/download/ftp/snapshots/
You can use this as an ordinary release. Kind regards,
Roberto
On Sat, Aug 11, 2012 at 9:16 AM, Roberto Bagnara <bagnara@cs.unipr.it mailto: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
participants (2)
-
Roberto Bagnara -
Zell