config/companion_libs/cloog.in
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Sun Nov 11 21:42:47 2012 +0100 (2012-11-11)
branch1.16
changeset 3107 91a52bc04af9
parent 2853 5182fa901f30
child 3218 3709e61ad85b
permissions -rw-r--r--
1.16: close branch

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.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"
    12     select CLOOG_0_15_1x
    13 
    14 config CLOOG_V_0_15_10
    15     bool
    16     prompt "0.15.10"
    17     select CLOOG_0_15_1x
    18 
    19 config CLOOG_V_0_15_9
    20     bool
    21     prompt "0.15.9"
    22 
    23 config CLOOG_V_0_15_8
    24     bool
    25     prompt "0.15.8"
    26 
    27 config CLOOG_V_0_15_7
    28     bool
    29     prompt "0.15.7"
    30 
    31 config CLOOG_V_0_15_6
    32     bool
    33     prompt "0.15.6"
    34 
    35 endchoice
    36 
    37 config CLOOG_VERSION
    38     string
    39 # Don't remove next line
    40 # CT_INSERT_VERSION_STRING_BELOW
    41     default "0.15.11" if CLOOG_V_0_15_11
    42     default "0.15.10" if CLOOG_V_0_15_10
    43     default "0.15.9" if CLOOG_V_0_15_9
    44     default "0.15.8" if CLOOG_V_0_15_8
    45     default "0.15.7" if CLOOG_V_0_15_7
    46     default "0.15.6" if CLOOG_V_0_15_6
    47 
    48 config CLOOG_0_15_1x
    49     bool
    50     select CLOOG_NEEDS_AUTORECONF
    51 
    52 config CLOOG_NEEDS_AUTORECONF
    53     bool