On 02/06/13 15:17, Matthias Klose wrote:
> Am 31.01.2013 10:11, schrieb Roberto Bagnara:
>> 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.
> 
> seems to work, however there is now a test failure on s390x
> 
> /bin/bash: line 5: 15154 Segmentation fault      ${dir}$tst
> FAIL: memory2
> [...]
> ======================================
> 1 of 203 tests failed
> Please report to ppl-de...@cs.unipr.it
> ======================================
> make[4]: *** [check-TESTS] Error 1
> make[4]: Leaving directory
> `/build/buildd-ppl_1.0-3-s390x-TUIydR/ppl-1.0/tests/Polyhedron'
> make[3]: *** [check-am] Error 2

Yes, we noticed.  Would it be possible to have temporary access
to an s390x machine in order to run a gdb session?


-- 
     Prof. Roberto Bagnara

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


-- 
To UNSUBSCRIBE, email to debian-s390-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/51126c85.9070...@cs.unipr.it

Reply via email to