Configure error when building on Core 2 Duo CPU

Hi,
I had a problem trying to build PPL with Homebrew on Mac OS X with a Core 2 Duo CPU. I filed a bug with Homebrew here (along with all the output from configure):
https://github.com/mxcl/homebrew/issues/17917
The problem is that the `uname -m` command on this CPU returns the string "i386", but the cc compiler from Xcode 4.6 on Mac OS X doesn't accept the argument "-march=i386". Configure tries to do this:
configure:6759: cc -c -g -O3 -fomit-frame-pointer -march=i386 conftest.c >&5 error: unknown target CPU 'i386' configure:6759: $? = 1
The result is confusing because configure ends up complaining about not finding the GMP library version 4.1.3 or above.
I was able to work around this problem for me by adding "--enable-arch=core2" to the ./configure line, but that's not an ideal solution.
Thanks for looking at this, Frank

On 02/25/13 23:43, Frank Murphy wrote:
I had a problem trying to build PPL with Homebrew on Mac OS X with a Core 2 Duo CPU. I filed a bug with Homebrew here (along with all the output from configure):
https://github.com/mxcl/homebrew/issues/17917
The problem is that the `uname -m` command on this CPU returns the string "i386", but the cc compiler from Xcode 4.6 on Mac OS X doesn't accept the argument "-march=i386". Configure tries to do this:
configure:6759: cc -c -g -O3 -fomit-frame-pointer -march=i386 conftest.c >&5 error: unknown target CPU 'i386' configure:6759: $? = 1
The result is confusing because configure ends up complaining about not finding the GMP library version 4.1.3 or above.
I was able to work around this problem for me by adding "--enable-arch=core2" to the ./configure line, but that's not an ideal solution.
Hello Frank. Thanks for the report. Can you please send the output of the `config.guess' script? Moreover, can you please let us have the `config.log' file generated by the failed configuration process? Kind regards,
Roberto

Hi Roberto,
Here is the output from config.guess:
$ ./config.guess x86_64-apple-darwin11.4.2
I'm attaching config.log here as well.
Thanks, Frank
On Feb 26, 2013, at 4:29 AM, Roberto Bagnara wrote:
On 02/25/13 23:43, Frank Murphy wrote:
I had a problem trying to build PPL with Homebrew on Mac OS X with a Core 2 Duo CPU. I filed a bug with Homebrew here (along with all the output from configure):
https://github.com/mxcl/homebrew/issues/17917
The problem is that the `uname -m` command on this CPU returns the string "i386", but the cc compiler from Xcode 4.6 on Mac OS X doesn't accept the argument "-march=i386". Configure tries to do this:
configure:6759: cc -c -g -O3 -fomit-frame-pointer -march=i386 conftest.c >&5 error: unknown target CPU 'i386' configure:6759: $? = 1
The result is confusing because configure ends up complaining about not finding the GMP library version 4.1.3 or above.
I was able to work around this problem for me by adding "--enable-arch=core2" to the ./configure line, but that's not an ideal solution.
Hello Frank. Thanks for the report. Can you please send the output of the `config.guess' script? Moreover, can you please let us have the `config.log' file generated by the failed configuration process? 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 (2)
-
Frank Murphy
-
Roberto Bagnara