-------- Original Message -------- Subject: Re: [PPL-devel] PPL 1 test (linearize) failed Date: Tue, 3 Apr 2012 21:56:29 +0200 From: Enric Caussa Morales me@enric.me To: Roberto Bagnara bagnara@cs.unipr.it
Hi Roberto, OK, we'll start deploying GCC with the next version of PPL after Easter. Thanks, Enric
On 03 Apr 2012 21:37, Roberto Bagnara wrote:
On 04/03/12 21:09, Enric Morales wrote:
Ciao Roberto. This snapshot passes all of the tests beautifully. So yes, it was most probably fixed with your recent commits. Is it a good idea to build GCC against it at this stage?
Hi Enric,
I would rather wait for the official release of PPL 0.12.1, just after Easter. Cheers,
Roberto
On Sat, Mar 31, 2012 at 8:53 AM, Roberto Bagnara <bagnara@cs.unipr.it mailto:bagnara@cs.unipr.it> wrote:
On 03/30/12 19:02, Enric Caussa Morales wrote:
Good day. I am compiling PPL 0.12 on our Arch Linux port for PowerPCs. We just prepared GCC 4.7.0 and started building packages with it. However, PPL fails the checks. I have attached the log. Hope it can be of help.Hello Enric,
thanks for the report.
Can we just omit the error, or can it be important?The error can be important. We have made several corrections to PPL 0.12 and we will soon (a couple of weeks perhaps) release PPL 0.12.1. Some of the bugs we have already fixed could explain your observation. Can you please test the PPL 0.12.1 release snapshot available at
http://bugseng.com/products/__ppl/download/ftp/snapshots/ http://bugseng.com/products/ppl/download/ftp/snapshots/
? Please report back whatever the result is. Cordially,
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@cs.unipr.it mailto:bagnara@cs.unipr.it
--
-- Enric Caussa Morales <me@enric.me mailto:me@enric.me>
-- 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