config/companion_libs/cloog.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Fri Aug 19 00:52:05 2011 +0200 (2011-08-19)
branch1.12
changeset 2633 22e779b0a4ed
parent 2206 2b5f5173daa0
child 2758 47199f966983
permissions -rw-r--r--
scripts: simplify and fix the toolchain config script

The script that is installed, and which sole purpose is to dump
the .config that was used to build the toolchain, is pure insanity.

Let's make it much, much more simpler...

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
(transplanted from 814ea73df7e0fab3db1cbe7623932714359c732b)
     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 
    14 config CLOOG_V_0_15_10
    15     bool
    16     prompt "0.15.10"
    17 
    18 config CLOOG_V_0_15_9
    19     bool
    20     prompt "0.15.9"
    21 
    22 config CLOOG_V_0_15_8
    23     bool
    24     prompt "0.15.8"
    25 
    26 config CLOOG_V_0_15_7
    27     bool
    28     prompt "0.15.7"
    29 
    30 config CLOOG_V_0_15_6
    31     bool
    32     prompt "0.15.6"
    33 
    34 endchoice
    35 
    36 config CLOOG_VERSION
    37     string
    38 # Don't remove next line
    39 # CT_INSERT_VERSION_STRING_BELOW
    40     default "0.15.11" if CLOOG_V_0_15_11
    41     default "0.15.10" if CLOOG_V_0_15_10
    42     default "0.15.9" if CLOOG_V_0_15_9
    43     default "0.15.8" if CLOOG_V_0_15_8
    44     default "0.15.7" if CLOOG_V_0_15_7
    45     default "0.15.6" if CLOOG_V_0_15_6
    46     default "0.15.5" if CLOOG_V_0_15_5
    47     default "0.15.4" if CLOOG_V_0_15_4
    48     default "0.15.3" if CLOOG_V_0_15_3