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>

# This file declares functions to install the kernel headers for mingw64

# Copyright 2012 Yann Diorcet

# Licensed under the GPL v2. See COPYING in the root of this package

CT_DoKernelTupleValues() {

    # Even we compile for x86_64 target architecture, the target OS have to

    # bet mingw32 (require by gcc and mingw-w64)

    CT_TARGET_KERNEL="mingw32"

    CT_TARGET_SYS=

}

do_kernel_get() {

    :

}

do_kernel_extract() {

    :

}

do_kernel_headers() {

   :

}