config/companion_libs/cloog.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Oct 03 23:10:46 2010 +0200 (2010-10-03)
changeset 2130 b46ecc90d3ab
parent 1615 50b25816f5bb
child 2157 715544fc2fe9
permissions -rw-r--r--
complibs: better deduce whether to backup complibs or not

To decide whether we need to backup the companion libraries,
do not rely on the !shared case. In the future other cases
may require not to save the companion libraries (eg. if using
the ones provided by the host distro).

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