[PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2

[Tobias Grosser]

Hi,

On Fri, 2009-04-10 at 22:02 +0200, Roberto Bagnara wrote:
> Tobias Grosser wrote:
> > 2. test02 and test03 in tests/Box/propagateconstraints2 fail.
> > 
> > They only fail if compile with
> > 
> > gmake propagateconstraints2 -DBOX_INSTANCE=db_r_oc
> > or
> > gmake check (in ppl/, ppl/tests, or ppl/tests/Box)
> 
> Hi Tobias,
> 
> we finally found what the problem is: FreeBSD implementation
> of fma() does not respect the rounding mode (even though it
> is said to conform to ISO/IEC 9899:1999).
> 
> Can you please test the new snapshot just uploaded to
> 
>     ftp://ftp.cs.unipr.it/pub/ppl/snapshots/
> 

Nice, compiled and "make check" runs without any problems on my FreeBSD
current. This is great! Thanks a lot. I will now work on a FreeBSD
package.

See you

Tobi