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@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com