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

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@cs.unipr.it