Hello, 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. Best wishes, Brad -- Brad Mells Quantum Harmonics 408 480-9916
On 11/03/2012 09:24 PM, Brad wrote:
Hello,
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.
Best wishes,
Brad
Hello. We can not be sure without seeing your config.log, but it seems likely that you are rather using LLVM "maskerading" as gcc. If that is indeed the case, then the following is the relevant piece of information: http://www.cs.unipr.it/pipermail/ppl-devel/2012-October/018555.html If that is NOT the case (i.e., you are using gcc proper), then please send us the (compressed) config.log file. Regards, Enea Zaffanella.
_______________________________________________ PPL-devel mailing list PPL-devel@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel
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
participants (3)
-
Brad -
Enea Zaffanella -
Roberto Bagnara