samples/x86_64-unknown-linux-gnu/crosstool.config
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Sun May 05 00:01:05 2013 +0200 (2013-05-05)
changeset 3218 3709e61ad85b
parent 3149 e1611da4bb05
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@720
     1
CT_LOCAL_TARBALLS_DIR="${HOME}/src"
yann@720
     2
CT_SAVE_TARBALLS=y
yann@720
     3
CT_LOG_EXTRA=y
yann@1638
     4
CT_ARCH_64=y
yann@1635
     5
CT_ARCH_x86=y
yann@1019
     6
CT_KERNEL_linux=y
yann@3175
     7
CT_KERNEL_V_2_6_33=y
yann@2724
     8
CT_BINUTILS_V_2_20_1a=y
yann@720
     9
CT_BINUTILS_FOR_TARGET=y
yann@1941
    10
CT_CC_V_4_4_3=y
yann@2724
    11
CT_CC_LANG_FORTRAN=y
yann@720
    12
CT_CC_LANG_CXX=y
yann@720
    13
CT_CC_LANG_JAVA=y
yann@1019
    14
CT_LIBC_glibc=y
yann@2240
    15
CT_LIBC_GLIBC_V_2_9=y
yann@1019
    16
CT_DEBUG_dmalloc=y
yann@1019
    17
CT_DEBUG_duma=y
yann@1019
    18
CT_DEBUG_gdb=y
yann@720
    19
CT_GDB_NATIVE=y
yann@3149
    20
CT_GDB_V_6_8a=y
yann@1019
    21
CT_DEBUG_ltrace=y
yann@1019
    22
CT_DEBUG_strace=y
yann@3149
    23
CT_STRACE_V_4_5_19=y
yann@1941
    24
CT_GMP_V_4_3_2=y
yann@1841
    25
CT_MPFR_V_2_4_2=y
yann@1941
    26
CT_PPL_V_0_10_2=y
yann@1941
    27
CT_CLOOG_V_0_15_9=y