-------- Original Message -------- Subject: Re: [PPL-devel] Need your help on building ppl~ Date: Sun, 6 May 2012 14:09:49 +0800 From: Xikui Wang idleft@gmail.com To: Roberto Bagnara bagnara@cs.unipr.it
Hi Roberto:
The newer version did solved my problem~ Thank you very much!
Xikui
2012/5/5 Roberto Bagnara <bagnara@cs.unipr.it mailto:bagnara@cs.unipr.it>
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/ 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/ http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it mailto:bagnara@cs.unipr.it