[PPL-devel] Hi, the ppl from GIT does not have the 'configure' file.

[Zell]

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 at 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 at 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 at cs.unipr.it
>>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20120811/a5e2dd06/attachment.htm>