[PPL-devel] Configure error when building on Core 2 Duo CPU

[Frank Murphy]

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


-------------- next part --------------
A non-text attachment was scrubbed...
Name: config.log
Type: application/octet-stream
Size: 275119 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20130226/994eb134/attachment.obj>
-------------- next part --------------


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