config/companion_libs/cloog.in
author Titus von Boxberg <titus@v9g.de>
Mon Aug 22 09:40:31 2011 +0200 (2011-08-22)
branch1.12
changeset 2637 97cc0c987a1a
parent 2206 2b5f5173daa0
child 2758 47199f966983
permissions -rw-r--r--
configure: require libtoolize, create wrapper to it

libtoolize must be checked_for and there needs to be a wrapper
that points to GNU libtoolize since that may be installed
as glibtoolize.
This fixes a problem with building Cloog/PPL that was

Reported-by: "Pierrick Brossin" <pierrick@bs-network.net>
Signed-off-by: "Titus von Boxberg" <titus@v9g.de>
(transplanted from c7c9e98d36d8a6a49fcd5f3836d5797bb965eba7)
     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