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

[bagnara@cs.unipr.it: Bug#499746: [PPL-devel] Building still fails on ARM]

Hi all,

is it possible for a non-DD to get temporary access to some ARM machine for
debugging those issues?


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/
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,


Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy

----- End forwarded message -----

Attachment: pgpJLqDMIe4ac.pgp
Description: PGP signature

Reply to: