[PPL-devel] the latest ppl git configure script has something wrong

[Roberto Bagnara]

On 08/09/11 18:42, PcX wrote:
> When I configure the latest ppl git, some strange errors come out, but the ppl git at 6.10 has no problem.

Hi PcX,

what do you mean by "ppl git at 6.10"?
By "latest ppl git" do you mean the tip of the master branch?
All the best,

   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