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

[Zell]

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/3c2d97fd/attachment.htm>