Re: [PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2
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
Tobias Grosser wrote:
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.
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 -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it
participants (2)
-
Roberto Bagnara -
Tobias Grosser