config/companion_libs/cloog.in
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Wed Jun 25 23:33:01 2014 +0200 (2014-06-25)
changeset 3325 069f43a215cc
parent 3285 a8cb9039fade
permissions -rw-r--r--
all: fix wildcard to work with make-4.x

In make-3.8x, the $(wildacrd) function would sort the entries,
while in make-4.x, it would just return the entries in any
unpredictable order [*]

Use the $(sort) function to get reproducible behaviour.

[*] Well, most probably the roder the entries appear when read
from readdir()

Reported-by: Andrew Ruder <andrew.ruder@elecsyscorp.com>
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Tested-by: Andrew Ruder <andrew.ruder@elecsyscorp.com>
     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_NEEDS_AUTORECONF
    30 
    31 endif # PPL
    32 
    33 endchoice
    34 
    35 config CLOOG_VERSION
    36     string
    37 # Don't remove next line
    38 # CT_INSERT_VERSION_STRING_BELOW
    39     default "0.18.1" if CLOOG_V_0_18_1
    40     default "0.18.0" if CLOOG_V_0_18_0
    41     default "0.15.11" if CLOOG_V_0_15_11
    42 
    43 config CLOOG_0_18_or_later
    44     bool
    45 
    46 config CLOOG_NEEDS_AUTORECONF
    47     bool