config/backend.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 1878 2c577664a23d
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>
     1 # Options specific to crosstool-NG acting as a backend
     2 
     3 config IS_A_BACKEND
     4     string
     5     option env="CT_IS_A_BACKEND"
     6 
     7 config BACKEND
     8     bool
     9     default y if IS_A_BACKEND = "y" || IS_A_BACKEND = "Y"
    10 
    11 config BACKEND_ARCH
    12     string
    13     option env="CT_BACKEND_ARCH"
    14 
    15 config BACKEND_KERNEL
    16     string
    17     option env="CT_BACKEND_KERNEL"
    18 
    19 config BACKEND_LIBC
    20     string
    21     option env="CT_BACKEND_LIBC"