config/arch/x86.in
author Darcy Watkins <dwatkins@tranzeo.com>
Thu Aug 05 18:19:07 2010 +0200 (2010-08-05)
branch1.8
changeset 2073 a3b7a63dce01
parent 1345 27fec561af53
child 2444 896cb0d36c1a
permissions -rw-r--r--
cc/gcc: with static ppl, correctly link with libm

On some Fedora boxen (at least FC13), it is also required
to link with libm when static ppl is used.
(transplanted from bcd33fce4db9c18223b59ecdc96f10bf6dd574de)
yann@628
     1
# x86 specific options
yann@628
     2
yann@628
     3
config ARCH_x86
yann@1635
     4
    select ARCH_SUPPORTS_32
yann@1635
     5
    select ARCH_SUPPORTS_64
yann@1635
     6
    select ARCH_DEFAULT_32
yann@1345
     7
    select ARCH_USE_MMU
yann@631
     8
    select ARCH_SUPPORT_ARCH
yann@631
     9
    select ARCH_SUPPORT_CPU
yann@631
    10
    select ARCH_SUPPORT_TUNE
yann@630
    11
    help
yann@630
    12
      The x86 architecture, as defined by:
yann@1635
    13
        32-bit (ia32) : http://www.intel.com/
yann@1635
    14
        64-bit (amd64): http://www.amd.com/us-en/Processors/DevelopWithAMD/0,,30_2252_875_7044,00.html