[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: [PPL-devel] ppl-1.0 tests fail to build on s390/s390x

On 01/31/13 00:01, Matthias Klose wrote:
Am 30.01.2013 01:17, schrieb Matthias Klose:
[CCing the debian s390 porters]

Am 29.01.2013 09:32, schrieb Roberto Bagnara:
I just hit the wrong button on the administrative interface
of the ppl-devel mailing list.  So the message has gone
forever before I could read it.
Please resend it to the list and accept my apologies.
Kind regards,

P.S. This is the failure, right?


yes, and the one for s390.

and apparently on sparc too.

This patch should fix them all:


Please let us know how it goes.
PPL 1.1 will of course contain the fix and should be released
in a couple of months.
Kind regards,


     Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
                              BUGSENG srl - http://bugseng.com

Reply to: