config/arch/x86_64.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Aug 30 01:00:19 2009 +0200 (2009-08-30)
changeset 1496 75a766c20552
parent 1038 33f695f7773a
permissions -rw-r--r--
companion-libs: PPL/CLooG/MPC require GMP and MPFR

The PPL, CLoog/ppl and MPC libraries require GMP and MPFR.
Select GMP/MPFR appropriately.
     1 # x86_64 specific options
     2 
     3 config ARCH_x86_64
     4     select ARCH_64
     5     select ARCH_USE_MMU
     6     select ARCH_SUPPORT_ARCH
     7     select ARCH_SUPPORT_CPU
     8     select ARCH_SUPPORT_TUNE
     9     help
    10       The x86_64 architecture, as defined by:
    11         http://www.amd.com/us-en/Processors/DevelopWithAMD/0,,30_2252_875_7044,00.html