Discussion:
ppl-1.0 tests fail to build on s390/s390x
(too old to reply)
Matthias Klose
2013-01-30 00:50:03 UTC
Permalink
[CCing the debian s390 porters]
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.
--
To UNSUBSCRIBE, email to debian-s390-***@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact ***@lists.debian.org
Archive: http://lists.debian.org/***@debian.org
Matthias Klose
2013-01-30 23:10:01 UTC
Permalink
Post by Matthias Klose
[CCing the debian s390 porters]
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.
--
To UNSUBSCRIBE, email to debian-s390-***@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact ***@lists.debian.org
Archive: http://lists.debian.org/***@debian.org
Roberto Bagnara
2013-01-31 09:40:03 UTC
Permalink
Post by Matthias Klose
Post by Matthias Klose
[CCing the debian s390 porters]
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:***@cs.unipr.it
BUGSENG srl - http://bugseng.com
mailto:***@bugseng.com
--
To UNSUBSCRIBE, email to debian-s390-***@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact ***@lists.debian.org
Archive: http://lists.debian.org/***@cs.unipr.it
Matthias Klose
2013-02-06 14:20:02 UTC
Permalink
Post by Roberto Bagnara
Post by Matthias Klose
Post by Matthias Klose
[CCing the debian s390 porters]
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.
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-***@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
--
To UNSUBSCRIBE, email to debian-s390-***@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact ***@lists.debian.org
Archive: http://lists.debian.org/***@debian.org
Roberto Bagnara
2013-02-06 15:10:02 UTC
Permalink
Post by Matthias Klose
Post by Roberto Bagnara
Post by Matthias Klose
Post by Matthias Klose
[CCing the debian s390 porters]
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.
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
======================================
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:***@cs.unipr.it
BUGSENG srl - http://bugseng.com
mailto:***@bugseng.com
--
To UNSUBSCRIBE, email to debian-s390-***@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact ***@lists.debian.org
Archive: http://lists.debian.org/***@cs.unipr.it
Loading...