[PPL-devel] Fwd: ppl 0.11.2 vs llvm

[Jack Howarth]

On Thu, Aug 04, 2011 at 05:06:26AM +0200, Roberto Bagnara wrote:
> On 08/03/11 16:09, Jack Howarth wrote:
>>     The complete set of failures reported for ppl-0.11.2 when built under
>> Xcode 4.1's clang are...
>>
>> Box
>> ---
>> affineimage1
>> frompolyhedron1
>> frompolyhedron2
>> propagateconstraints2
>> refinewithconstraint1
>> nnc_frompolyhedron1
>>
>> BD_Shape
>> --------
>> closure1
>
> `make check' passed on directory BD_Shape for me (under GNU/Linux).
> I am now trying on Box.

Roberto,
   Attached is a bzip2 compressed build log for ppl 0.11.2 against the clang/clang++
compilers from Xcode 4.1 with the failing make check. Let me know what additional
information I can provide or if you have any test patches to try (under the assumption
that this is fall-out from the absence of -frounding-math support in llvm-based compilers).
             Jack

>
> -- 
> 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
> _______________________________________________
> PPL-devel mailing list
> PPL-devel at cs.unipr.it
> http://www.cs.unipr.it/mailman/listinfo/ppl-devel
-------------- next part --------------
A non-text attachment was scrubbed...
Name: darwin11_clang_ppl_build.log.bz2
Type: application/x-bzip2
Size: 53710 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20110805/f2f69bb7/attachment.bin>