config/companion_libs/cloog.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed May 18 23:00:46 2011 +0200 (2011-05-18)
changeset 2467 200836977ce6
parent 2206 2b5f5173daa0
child 2758 47199f966983
permissions -rw-r--r--
config: rename variables that are arrays

Make it explicit that a variable is an array bu the name of the variable.
It will be used later when .config gets munged to allow both multiple
arguments and arguments with spaces at the same time to be passed from the
configuration down to the build scripts.

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_11
    10     bool
    11     prompt "0.15.11 (EXPERIMENTAL)"
    12     depends on EXPERIMENTAL
    13 
    14 config CLOOG_V_0_15_10
    15     bool
    16     prompt "0.15.10"
    17 
    18 config CLOOG_V_0_15_9
    19     bool
    20     prompt "0.15.9"
    21 
    22 config CLOOG_V_0_15_8
    23     bool
    24     prompt "0.15.8"
    25 
    26 config CLOOG_V_0_15_7
    27     bool
    28     prompt "0.15.7"
    29 
    30 config CLOOG_V_0_15_6
    31     bool
    32     prompt "0.15.6"
    33 
    34 endchoice
    35 
    36 config CLOOG_VERSION
    37     string
    38 # Don't remove next line
    39 # CT_INSERT_VERSION_STRING_BELOW
    40     default "0.15.11" if CLOOG_V_0_15_11
    41     default "0.15.10" if CLOOG_V_0_15_10
    42     default "0.15.9" if CLOOG_V_0_15_9
    43     default "0.15.8" if CLOOG_V_0_15_8
    44     default "0.15.7" if CLOOG_V_0_15_7
    45     default "0.15.6" if CLOOG_V_0_15_6
    46     default "0.15.5" if CLOOG_V_0_15_5
    47     default "0.15.4" if CLOOG_V_0_15_4
    48     default "0.15.3" if CLOOG_V_0_15_3