config/companion_libs/cloog.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Mar 20 00:02:21 2011 +0100 (2011-03-20)
changeset 2339 730e2d63296b
parent 2157 715544fc2fe9
child 2435 da167ec304be
permissions -rw-r--r--
scripts: leave changelog in build dir, copy to install dir

Users tend to look for the build log in the current working directory,
rather than in the toolchain's installation dir. While bundling the build
log in the toolchain installation dir is nice for distribution and review,
it can be easier to have the build log readily available in the working
directory, as it is quicker to get to it.

So, the build log stays in the working directory until the toolchain is
completely and successfully built, and then a (compressed) copy is made.

Reported-by: Trevor Woerner <twoerner@gmail.com>
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
yann@1380
     1
# CLooG options
yann@1380
     2
yann@1380
     3
choice
yann@1380
     4
    bool
yann@1380
     5
    prompt "CLooG/ppl version"
yann@1535
     6
# Don't remove next line
yann@1535
     7
# CT_INSERT_VERSION_BELOW
yann@1380
     8
yann@2157
     9
config CLOOG_V_0_15_10
yann@2157
    10
    bool
yann@2157
    11
    prompt "0.15.10"
yann@2157
    12
yann@1873
    13
config CLOOG_V_0_15_9
yann@1873
    14
    bool
yann@1873
    15
    prompt "0.15.9"
yann@1873
    16
yann@1873
    17
config CLOOG_V_0_15_8
yann@1873
    18
    bool
yann@1873
    19
    prompt "0.15.8"
yann@1873
    20
yann@1534
    21
config CLOOG_V_0_15_7
yann@1380
    22
    bool
yann@1534
    23
    prompt "0.15.7"
yann@1534
    24
yann@1534
    25
config CLOOG_V_0_15_6
yann@1534
    26
    bool
yann@1534
    27
    prompt "0.15.6"
yann@1534
    28
yann@1380
    29
endchoice
yann@1380
    30
yann@1380
    31
config CLOOG_VERSION
yann@1380
    32
    string
yann@1535
    33
# Don't remove next line
yann@1535
    34
# CT_INSERT_VERSION_STRING_BELOW
yann@2157
    35
    default "0.15.10" if CLOOG_V_0_15_10
yann@1873
    36
    default "0.15.9" if CLOOG_V_0_15_9
yann@1873
    37
    default "0.15.8" if CLOOG_V_0_15_8
yann@1534
    38
    default "0.15.7" if CLOOG_V_0_15_7
yann@1534
    39
    default "0.15.6" if CLOOG_V_0_15_6
yann@1534
    40
    default "0.15.5" if CLOOG_V_0_15_5
yann@1534
    41
    default "0.15.4" if CLOOG_V_0_15_4
yann@1380
    42
    default "0.15.3" if CLOOG_V_0_15_3