[PPL-devel] Building still fails on ARM

[Roberto Bagnara]

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 at cs.unipr.it