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

[Roberto Bagnara]

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 at cs.unipr.it