config/companion_libs/cloog.in
author Bernhard Walle <bernhard@bwalle.de>
Sun May 11 13:00:36 2014 +0200 (2014-05-11)
changeset 3318 579bc9107f99
parent 3218 3709e61ad85b
child 3324 1eea25c0bfe7
permissions -rw-r--r--
complibs/ppl: Fix build of ppl 0.11.2 with gcc 4.9

From: Roberto Bagnara <bagnara@cs.unipr.it>
Date: Tue, 29 Apr 2014 19:51:43 +0000 (+0200)
Subject: Added missing inclusions. Use std::ptrdiff_t.
X-Git-Url: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl%2Fppl.git;a=commitdiff;h=61d4e14dfd9f1121e9b4521dead5728b2424dd7c

Added missing inclusions. Use std::ptrdiff_t.
(Thanks to Paulo Cesar Pereira de Andrade.)

Signed-off-by: Bernhard Walle <bernhard@bwalle.de>
Message-Id: <5632a171e7c1dc4c0fb5.1399806148@euler.fritz.box>
Patchwork-Id: 347777
yann@1380
     1
# CLooG options
yann@1380
     2
yann@1380
     3
choice
yann@1380
     4
    bool
yann@3218
     5
    prompt "CLooG version"
yann@3218
     6
yann@3218
     7
if ISL
yann@3218
     8
yann@1535
     9
# Don't remove next line
yann@1535
    10
# CT_INSERT_VERSION_BELOW
yann@1380
    11
danielrubiob@3285
    12
config CLOOG_V_0_18_1
danielrubiob@3285
    13
    bool
danielrubiob@3285
    14
    prompt "0.18.1"
danielrubiob@3285
    15
    select CLOOG_0_18_or_later
danielrubiob@3285
    16
yann@3218
    17
config CLOOG_V_0_18_0
yann@3218
    18
    bool
yann@3218
    19
    prompt "0.18.0"
yann@3218
    20
    select CLOOG_0_18_or_later
yann@3218
    21
yann@3218
    22
endif # ISL
yann@3218
    23
yann@3218
    24
if PPL
yann@3218
    25
yann@2435
    26
config CLOOG_V_0_15_11
yann@2435
    27
    bool
yann@2957
    28
    prompt "0.15.11"
yann@2758
    29
    select CLOOG_0_15_1x
yann@2435
    30
yann@2157
    31
config CLOOG_V_0_15_10
yann@2157
    32
    bool
yann@2157
    33
    prompt "0.15.10"
yann@2758
    34
    select CLOOG_0_15_1x
yann@2157
    35
yann@1873
    36
config CLOOG_V_0_15_9
yann@1873
    37
    bool
yann@1873
    38
    prompt "0.15.9"
yann@1873
    39
yann@1873
    40
config CLOOG_V_0_15_8
yann@1873
    41
    bool
yann@1873
    42
    prompt "0.15.8"
yann@1873
    43
yann@1534
    44
config CLOOG_V_0_15_7
yann@1380
    45
    bool
yann@1534
    46
    prompt "0.15.7"
yann@1534
    47
yann@1534
    48
config CLOOG_V_0_15_6
yann@1534
    49
    bool
yann@1534
    50
    prompt "0.15.6"
yann@1534
    51
yann@3218
    52
endif # PPL
yann@3218
    53
yann@1380
    54
endchoice
yann@1380
    55
yann@1380
    56
config CLOOG_VERSION
yann@1380
    57
    string
yann@1535
    58
# Don't remove next line
yann@1535
    59
# CT_INSERT_VERSION_STRING_BELOW
danielrubiob@3285
    60
    default "0.18.1" if CLOOG_V_0_18_1
yann@3218
    61
    default "0.18.0" if CLOOG_V_0_18_0
yann@2435
    62
    default "0.15.11" if CLOOG_V_0_15_11
yann@2157
    63
    default "0.15.10" if CLOOG_V_0_15_10
yann@1873
    64
    default "0.15.9" if CLOOG_V_0_15_9
yann@1873
    65
    default "0.15.8" if CLOOG_V_0_15_8
yann@1534
    66
    default "0.15.7" if CLOOG_V_0_15_7
yann@1534
    67
    default "0.15.6" if CLOOG_V_0_15_6
yann@2758
    68
yann@3218
    69
config CLOOG_0_18_or_later
yann@3218
    70
    bool
yann@3218
    71
yann@2758
    72
config CLOOG_0_15_1x
yann@2758
    73
    bool
yann@2758
    74
    select CLOOG_NEEDS_AUTORECONF
yann@2758
    75
yann@2758
    76
config CLOOG_NEEDS_AUTORECONF
yann@2758
    77
    bool