Yann E. MORIN" e1675bac64 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>		2013-05-05 00:01:05 +02:00
..
100-gmp.sh	scripts: add BUILD/HOST extra cflags/ldflags	2012-11-16 15:25:57 +01:00
110-mpfr.sh	scripts: add BUILD/HOST extra cflags/ldflags	2012-11-16 15:25:57 +01:00
120-ppl.sh	complibs/ppl: only add -fpermissive flag to CXXFLAGS	2013-04-13 19:41:36 +02:00
121-isl.sh	complibs: add ISL	2013-05-04 00:08:34 +02:00
130-cloog.sh	complibs/cloog: add support for the ISL backend	2013-05-05 00:01:05 +02:00
140-mpc.sh	scripts: add BUILD/HOST extra cflags/ldflags	2012-11-16 15:25:57 +01:00
200-libelf.sh	scripts: add BUILD/HOST extra cflags/ldflags	2012-11-16 15:25:57 +01:00