[PPL-devel] Fwd: ppl 0.11.2 vs llvm

[Roberto Bagnara]

On 08/06/11 14:14, Jack Howarth wrote:
>     I am rather baffled that you can't reproduce this problem on Linux.
> Attached is a build and make check log from x86_64 Fedora 10 using the
> ppl 0.11.2 release and the binary distribution of the clang 2.9 compilers
> fromhttp://llvm.org/releases/2.9/clang+llvm-2.9-x86_64-linux.tar.bz2.
> With CC set to clang and CXX set to clang++, I see the same failures as
> under the clang compilers from Xcode 4.1 under Lion.

Hi Jack,

please try configuring the PPL with --disable-fpmath on both platforms
and let us know if `make check' passes this way.
Cheers,

    Roberto

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it