config/companion_libs/cloog.in
author Bryan Hundven <bryanhundven@gmail.com>
Thu Dec 09 18:54:37 2010 +0100 (2010-12-09)
changeset 2207 b268256e4a08
parent 2157 715544fc2fe9
child 2435 da167ec304be
permissions -rw-r--r--
config: add option to build statically linked toolchain

Add a config option to statically build the host tools.
Impacted tools can use that option to decide wether to build
statically or shared.

For now, no tool uses it, but they'll be added one at a time
in the next commits.

Signed-off-by: "Bryan Hundven" <bryanhundven@gmail.com>
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
     1 # CLooG options
     2 
     3 choice
     4     bool
     5     prompt "CLooG/ppl version"
     6 # Don't remove next line
     7 # CT_INSERT_VERSION_BELOW
     8 
     9 config CLOOG_V_0_15_10
    10     bool
    11     prompt "0.15.10"
    12 
    13 config CLOOG_V_0_15_9
    14     bool
    15     prompt "0.15.9"
    16 
    17 config CLOOG_V_0_15_8
    18     bool
    19     prompt "0.15.8"
    20 
    21 config CLOOG_V_0_15_7
    22     bool
    23     prompt "0.15.7"
    24 
    25 config CLOOG_V_0_15_6
    26     bool
    27     prompt "0.15.6"
    28 
    29 endchoice
    30 
    31 config CLOOG_VERSION
    32     string
    33 # Don't remove next line
    34 # CT_INSERT_VERSION_STRING_BELOW
    35     default "0.15.10" if CLOOG_V_0_15_10
    36     default "0.15.9" if CLOOG_V_0_15_9
    37     default "0.15.8" if CLOOG_V_0_15_8
    38     default "0.15.7" if CLOOG_V_0_15_7
    39     default "0.15.6" if CLOOG_V_0_15_6
    40     default "0.15.5" if CLOOG_V_0_15_5
    41     default "0.15.4" if CLOOG_V_0_15_4
    42     default "0.15.3" if CLOOG_V_0_15_3