config/arch/mips.in.2
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Sun May 05 00:01:05 2013 +0200 (2013-05-05)
changeset 3218 3709e61ad85b
permissions -rw-r--r--
complibs/cloog: add support for the ISL backend

CLooG 0.18+ will use ISL instead of PPL, so we have to configure
adequately depending of which backend is in use.

The Kconfig entries will decide for us which is selected, so we
can rely on either PPL xor ISL to be selected, not both.

Reported-by: "Plotnikov Dmitry" <leitz@ispras.ru>
[Dmitry did a preliminray patch to add ISL support,
which this patch is inspired from]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
     1 # MIPS specific config options
     2 
     3 choice
     4     bool
     5     prompt "ABI"
     6 
     7 config ARCH_mips_o32
     8     bool
     9     prompt "o32"
    10     depends on ARCH_32
    11     help
    12       This is the -mabi=32 gcc option.
    13 
    14 config ARCH_mips_n32
    15     bool
    16     prompt "n32"
    17     depends on ARCH_64
    18     help
    19       This is the -mabi=n32 gcc option.
    20 
    21 config ARCH_mips_n64
    22     bool
    23     prompt "n64"
    24     depends on ARCH_64
    25     help
    26       This is the -mabi=64 gcc option.
    27 
    28 # Not supported on Linux:
    29 # o64   : seems related to *BSD
    30 # eabi  : seems related to bare-metal
    31 
    32 endchoice
    33 
    34 config ARCH_mips_ABI
    35     string
    36     default "32"    if ARCH_mips_o32
    37     default "n32"   if ARCH_mips_n32
    38     default "64"    if ARCH_mips_n64