Hi all, is it possible for a non-DD to get temporary access to some ARM machine for debugging those issues? Thanks, Michael PS.: Please CC me, I'm not subscribed. Thanks! ----- Forwarded message from Roberto Bagnara <bagnara@cs.unipr.it> ----- Subject: Bug#499746: [PPL-devel] Building still fails on ARM Reply-To: Roberto Bagnara <bagnara@cs.unipr.it>, 499746@bugs.debian.org Date: Mon, 13 Oct 2008 11:54:20 +0200 From: Roberto Bagnara <bagnara@cs.unipr.it> User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.12) Gecko/20050929 Thunderbird/1.0.7 Fedora/1.0.7-1.1.fc4 Mnenhy/0.7.3.0 To: Michael Tautschnig <mt@debian.org> CC: ppl-devel@cs.unipr.it, 499746@bugs.debian.org Michael Tautschnig wrote: > apparently ppl 0.10 pre34 still fails to build on some architectures because of > FPU_* macros not being defined. Please see > http://buildd.debian.org/fetch.cgi?&pkg=ppl&ver=0.10~pre34-1&arch=arm&stamp=1223724338&file=log > for details. Hi Michael, yes, we received numerous messages on the subject. We are working on the issue. Would it be possible to set up an access to an ARM machine? All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it ----- End forwarded message -----
Attachment:
pgpEIKht8Tt4p.pgp
Description: PGP signature