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:[EMAIL PROTECTED] -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]