[PPL-devel] Need your help on building ppl~

[Roberto Bagnara]

On 05/05/12 05:03, Xikui Wang wrote:
> Hi guys:
>
> I met a problem when building ppl, and I can't figure out why this happened. After a rough search on google and review on documentation,
> I still can't find a solution. So, could someone help me with this? Thanks a lot~

Hi Xikui,

can you please try the PPL 0.12.2 snapshot available
at

   http://bugseng.com/products/ppl/download/ftp/snapshots/

Please let us know if that solves the problem you
discovered.
Thanks,

    Roberto

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it