debug/gdb: --disable-sim for CT_GDB_CROSS.
sim was already disabled for CT_GDB_NATIVE.
Reviewed-by: Michael Hope
Signed-off-by: Zhenqiang Chen <zhenqiang.chen@linaro.org>
[yann.morin.1998@anciens.enib.fr: make it a config option]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
5 prompt "CLooG/ppl version"
6 # Don't remove next line
7 # CT_INSERT_VERSION_BELOW
11 prompt "0.15.11 (EXPERIMENTAL)"
12 depends on EXPERIMENTAL
15 config CLOOG_V_0_15_10
40 # Don't remove next line
41 # CT_INSERT_VERSION_STRING_BELOW
42 default "0.15.11" if CLOOG_V_0_15_11
43 default "0.15.10" if CLOOG_V_0_15_10
44 default "0.15.9" if CLOOG_V_0_15_9
45 default "0.15.8" if CLOOG_V_0_15_8
46 default "0.15.7" if CLOOG_V_0_15_7
47 default "0.15.6" if CLOOG_V_0_15_6
51 select CLOOG_NEEDS_AUTORECONF
53 config CLOOG_NEEDS_AUTORECONF