Bug#499746: [PPL-devel] Building still fails on ARM
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
Reply to: