[PPL-devel] make check error on OS X

[Roberto Bagnara]

On 11/03/12 21:24, Brad wrote:
> The attached file logs certain errors that occurred during make
> check. I am running Lion v10.7.4 on a MacBook Pro with the Core 2
> Duo processor. The gcc version is 4.2.3 that came along with XCode
> tools.
>
> I hope this report is helpful to you. Please let me know if you need
> any additional information.

Dear Brad,

thanks for the report.  I believe this is a bug of llvm-gcc: it
masquerades as gcc, then it accepts and plainly ignores the
-frounding-math option.  We have implemented a workaround in a
snapshot of PPL 1.1 (to be released soon).  Can you please test
whether this solves the problem?  You can find the snapshot at

   http://bugseng.com/products/ppl/download/ftp/snapshots/

Please let us know how it goes.
Kind regards,

    Roberto

-- 
      Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
                               BUGSENG srl - http://bugseng.com
                               mailto:roberto.bagnara at bugseng.com