config/companion_libs/cloog.in
author Bryan Hundven <bryanhundven@gmail.com>
Wed Dec 22 22:42:11 2010 +0100 (2010-12-22)
branch1.9
changeset 2232 f0318bba39bc
parent 1873 4477403726db
child 2206 2b5f5173daa0
permissions -rw-r--r--
libc/eglibc: fix installed scripts

Like rev 2002, eglibc installs some bash scripts, but use the path to the
buildtool bash as the interpreter (on the shebang line). This is only a
symlink to the real bash, and thus is not available at runtime.

Fix that by assuming that shell on the target *will* be /bin/bash.

Signed-off-by: Bryan Hundven <bryanhundven@gmail.com>
(transplanted from 6884dcb80121ebc8ce17deee62716ed75fc29393)
     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 config CLOOG_V_0_15_5
    30     bool
    31     prompt "0.15.5 (OBSOLETE)"
    32     depends on OBSOLETE
    33 
    34 config CLOOG_V_0_15_4
    35     bool
    36     prompt "0.15.4 (OBSOLETE)"
    37     depends on OBSOLETE
    38 
    39 config CLOOG_V_0_15_3
    40     bool
    41     prompt "0.15.3 (OBSOLETE)"
    42     depends on OBSOLETE
    43 
    44 endchoice
    45 
    46 config CLOOG_VERSION
    47     string
    48 # Don't remove next line
    49 # CT_INSERT_VERSION_STRING_BELOW
    50     default "0.15.10" if CLOOG_V_0_15_10
    51     default "0.15.9" if CLOOG_V_0_15_9
    52     default "0.15.8" if CLOOG_V_0_15_8
    53     default "0.15.7" if CLOOG_V_0_15_7
    54     default "0.15.6" if CLOOG_V_0_15_6
    55     default "0.15.5" if CLOOG_V_0_15_5
    56     default "0.15.4" if CLOOG_V_0_15_4
    57     default "0.15.3" if CLOOG_V_0_15_3