config/companion_libs/cloog.in
author Ray Donnelly <mingw.android@gmail.com>
Thu Feb 20 18:23:08 2014 +0000 (2014-02-20)
changeset 3292 9321d9d7af9b
parent 3218 3709e61ad85b
child 3324 1eea25c0bfe7
permissions -rw-r--r--
If GNU make 3.81 is not found then build it as a companion tool.

Signed-off-by: Ray Donnelly <mingw.android@gmail.com>
[yann.morin.1998@free.fr: add message "checking for make 3.81"]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Message-Id: <8b8bf6998f3d239f6c74.1392920971@advancedsearch.virginmedia.com>
Patchwork-Id: 322302
     1 # CLooG options
     2 
     3 choice
     4     bool
     5     prompt "CLooG version"
     6 
     7 if ISL
     8 
     9 # Don't remove next line
    10 # CT_INSERT_VERSION_BELOW
    11 
    12 config CLOOG_V_0_18_1
    13     bool
    14     prompt "0.18.1"
    15     select CLOOG_0_18_or_later
    16 
    17 config CLOOG_V_0_18_0
    18     bool
    19     prompt "0.18.0"
    20     select CLOOG_0_18_or_later
    21 
    22 endif # ISL
    23 
    24 if PPL
    25 
    26 config CLOOG_V_0_15_11
    27     bool
    28     prompt "0.15.11"
    29     select CLOOG_0_15_1x
    30 
    31 config CLOOG_V_0_15_10
    32     bool
    33     prompt "0.15.10"
    34     select CLOOG_0_15_1x
    35 
    36 config CLOOG_V_0_15_9
    37     bool
    38     prompt "0.15.9"
    39 
    40 config CLOOG_V_0_15_8
    41     bool
    42     prompt "0.15.8"
    43 
    44 config CLOOG_V_0_15_7
    45     bool
    46     prompt "0.15.7"
    47 
    48 config CLOOG_V_0_15_6
    49     bool
    50     prompt "0.15.6"
    51 
    52 endif # PPL
    53 
    54 endchoice
    55 
    56 config CLOOG_VERSION
    57     string
    58 # Don't remove next line
    59 # CT_INSERT_VERSION_STRING_BELOW
    60     default "0.18.1" if CLOOG_V_0_18_1
    61     default "0.18.0" if CLOOG_V_0_18_0
    62     default "0.15.11" if CLOOG_V_0_15_11
    63     default "0.15.10" if CLOOG_V_0_15_10
    64     default "0.15.9" if CLOOG_V_0_15_9
    65     default "0.15.8" if CLOOG_V_0_15_8
    66     default "0.15.7" if CLOOG_V_0_15_7
    67     default "0.15.6" if CLOOG_V_0_15_6
    68 
    69 config CLOOG_0_18_or_later
    70     bool
    71 
    72 config CLOOG_0_15_1x
    73     bool
    74     select CLOOG_NEEDS_AUTORECONF
    75 
    76 config CLOOG_NEEDS_AUTORECONF
    77     bool