config/companion_libs/cloog.in
author Titus von Boxberg <titus@v9g.de>
Wed Nov 30 12:07:59 2011 +0100 (2011-11-30)
branch1.13
changeset 2843 aaa46c1a2c2a
parent 2435 da167ec304be
child 2853 5182fa901f30
permissions -rw-r--r--
scripts: use CT_CONFIG_SHELL instead of CT_SHELL

CT_SHELL is undefined.
Thus, the generated wrapper scripts are not executable by the kernel
because they do not contain a valid interpreter.
Use CT_CONFIG_SHELL instead.

Signed-off-by: "Titus von Boxberg" <titus@v9g.de>
(transplanted from cf509170838f4e289fe25617e3f3db1d6d6ffc41)
     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     select CLOOG_0_15_1x
    14 
    15 config CLOOG_V_0_15_10
    16     bool
    17     prompt "0.15.10"
    18     select CLOOG_0_15_1x
    19 
    20 config CLOOG_V_0_15_9
    21     bool
    22     prompt "0.15.9"
    23 
    24 config CLOOG_V_0_15_8
    25     bool
    26     prompt "0.15.8"
    27 
    28 config CLOOG_V_0_15_7
    29     bool
    30     prompt "0.15.7"
    31 
    32 config CLOOG_V_0_15_6
    33     bool
    34     prompt "0.15.6"
    35 
    36 endchoice
    37 
    38 config CLOOG_VERSION
    39     string
    40 # Don't remove next line
    41 # CT_INSERT_VERSION_STRING_BELOW
    42     default "0.15.11" if CLOOG_V_0_15_11
    43     default "0.15.10" if CLOOG_V_0_15_10
    44     default "0.15.9" if CLOOG_V_0_15_9
    45     default "0.15.8" if CLOOG_V_0_15_8
    46     default "0.15.7" if CLOOG_V_0_15_7
    47     default "0.15.6" if CLOOG_V_0_15_6
    48     default "0.15.5" if CLOOG_V_0_15_5
    49     default "0.15.4" if CLOOG_V_0_15_4
    50     default "0.15.3" if CLOOG_V_0_15_3
    51 
    52 config CLOOG_0_15_1x
    53     bool
    54     select CLOOG_NEEDS_AUTORECONF
    55 
    56 config CLOOG_NEEDS_AUTORECONF
    57     bool