
13 Oct
2008
13 Oct
'08
11:54 a.m.
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&arc... 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