Tobias Grosser wrote:
Hi,
On Fri, 2009-04-10 at 22:02 +0200, Roberto Bagnara wrote:
Tobias Grosser wrote:
- 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.
Good. You can package PPL 0.10.1, just released.
Concerning FreeBSD, there appears to be a very old package:
http://www.freebsd.org/cgi/cvsweb.cgi/ports/devel/ppl/
When you are done with the new package, can you please let us have the right link we should point at? Cheers,
Roberto