config/arch/arm.in.2
author Anthony Foiani <anthony.foiani@gmail.com>
Thu May 19 23:05:58 2011 +0200 (2011-05-19)
changeset 2460 132c00ad3d6e
parent 1716 6bbf206a5b57
child 2484 d1a8c2ae7946
permissions -rw-r--r--
complibs/ppl: remove unnecessary (and confusing) --enable-cxx configure switch.

PPL does not use the "--enable-cxx" configure switch at all; it's
possibly a cut-and-paste leftover from 'gmp.sh'. (PPL is written in C++
natively, so it doesn't make much sense to have to enable C++; GMP, on
the other hand, is written in C with an optional C++ wrapper.)

Signed-Off-By: Anthony Foiani <anthony.foiani@gmail.com>
     1 # ARM specific configuration file
     2 
     3 config ARCH_ARM_MODE
     4     string
     5     default "arm"   if ARCH_ARM_MODE_ARM
     6     default "thumb" if ARCH_ARM_MODE_THUMB
     7 
     8 choice
     9     bool
    10     prompt "Default instruction set mode"
    11     default ARCH_ARM_MODE_ARM
    12 
    13 config ARCH_ARM_MODE_ARM
    14     bool
    15     prompt "arm"
    16     help
    17       Defaults to emitting instructions in the ARM mode.
    18 
    19 config ARCH_ARM_MODE_THUMB
    20     bool
    21     prompt "thumb (EXPERIMENTAL)"
    22     depends on EXPERIMENTAL
    23     help
    24       Defaults to emitting instructions in the THUMB mode.
    25 
    26 endchoice
    27 
    28 config ARCH_ARM_INTERWORKING
    29     bool
    30     prompt "Use Thumb-interworking (READ HELP)"
    31     default n
    32     depends on EXPERIMENTAL
    33     help
    34       Excerpt from the gcc manual:
    35       
    36       > Generate code which supports calling between the ARM and Thumb
    37       > instruction sets. Without this option the two instruction sets
    38       > cannot be reliably used inside one program. The default is
    39       > [not to use interwork], since slightly larger code is generated
    40       > when [interwork] is specified.
    41 
    42 config ARCH_ARM_EABI
    43     bool
    44     prompt "Use EABI"
    45     default y
    46     help
    47       Set up the toolchain so that it generates EABI-compliant binaries.
    48 
    49 config ARCH_ARM_ABI_OK
    50     bool
    51     default y
    52     depends on ! ARCH_ARM_EABI
    53     select ARCH_SUPPORT_ABI