[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?

https://buildd.debian.org/fetch.cgi?pkg=ppl&arch=s390x&ver=1.0-1&stamp=1359396092&file=log


yes, and the one for s390.


and apparently on sparc too.


This patch should fix them all:

  http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3822e9ecd0783a5743dd48cda86ae17ba702c468

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,

   Roberto

--
     Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara@cs.unipr.it
                              BUGSENG srl - http://bugseng.com
                              mailto:roberto.bagnara@bugseng.com
Reply to: