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>
     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 endchoice
    30 
    31 config CLOOG_VERSION
    32     string
    33 # Don't remove next line
    34 # CT_INSERT_VERSION_STRING_BELOW
    35     default "0.15.10" if CLOOG_V_0_15_10
    36     default "0.15.9" if CLOOG_V_0_15_9
    37     default "0.15.8" if CLOOG_V_0_15_8
    38     default "0.15.7" if CLOOG_V_0_15_7
    39     default "0.15.6" if CLOOG_V_0_15_6
    40     default "0.15.5" if CLOOG_V_0_15_5
    41     default "0.15.4" if CLOOG_V_0_15_4
    42     default "0.15.3" if CLOOG_V_0_15_3