config/config.in
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Sun May 05 00:01:05 2013 +0200 (2013-05-05)
changeset 3218 3709e61ad85b
parent 2481 30644208c955
child 3313 ad14212ebf54
permissions -rw-r--r--
complibs/cloog: add support for the ISL backend

CLooG 0.18+ will use ISL instead of PPL, so we have to configure
adequately depending of which backend is in use.

The Kconfig entries will decide for us which is selected, so we
can rely on either PPL xor ISL to be selected, not both.

Reported-by: "Plotnikov Dmitry" <leitz@ispras.ru>
[Dmitry did a preliminray patch to add ISL support,
which this patch is inspired from]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
yann@2481
     1
source "config/configure.in"
yann@1870
     2
source "config/backend.in"
yann@1870
     3
source "config/global.in"
yann@1870
     4
source "config/target.in"
yann@1870
     5
source "config/toolchain.in"
yann@1870
     6
source "config/kernel.in"
yann@1870
     7
source "config/binutils.in"
yann@1870
     8
source "config/cc.in"
yann@1870
     9
source "config/libc.in"
yann@1870
    10
source "config/debug.in"
yann@1870
    11
source "config/companion_libs.in"
yann@1870
    12
source "config/companion_tools.in"
mgl@1965
    13
source "config/test_suite.in"