scripts/build/cc/gcc.sh
changeset 1880 8bb865222229
parent 1848 3f54c8d7f3f9
child 1881 5284cdc29a63
     1.1 --- a/scripts/build/cc/gcc.sh	Fri Mar 05 18:55:25 2010 +0100
     1.2 +++ b/scripts/build/cc/gcc.sh	Wed Apr 07 18:35:21 2010 +0200
     1.3 @@ -150,11 +150,11 @@
     1.4      else
     1.5          extra_config+=("--disable-__cxa_atexit")
     1.6      fi
     1.7 -    if [ "${CT_GCC_USE_GMP_MPFR}" = "y" ]; then
     1.8 +    if [ "${CT_CC_GCC_USE_GMP_MPFR}" = "y" ]; then
     1.9          extra_config+=("--with-gmp=${CT_PREFIX_DIR}")
    1.10          extra_config+=("--with-mpfr=${CT_PREFIX_DIR}")
    1.11      fi
    1.12 -    if [ "${CT_GCC_USE_PPL_CLOOG_MPC}" = "y" ]; then
    1.13 +    if [ "${CT_CC_GCC_USE_PPL_CLOOG_MPC}" = "y" ]; then
    1.14          extra_config+=("--with-ppl=${CT_PREFIX_DIR}")
    1.15          extra_config+=("--with-cloog=${CT_PREFIX_DIR}")
    1.16          extra_config+=("--with-mpc=${CT_PREFIX_DIR}")
    1.17 @@ -303,11 +303,11 @@
    1.18      if [ -n "${CC_ENABLE_CXX_FLAGS}" ]; then
    1.19          extra_config+=("--enable-cxx-flags=${CC_ENABLE_CXX_FLAGS}")
    1.20      fi
    1.21 -    if [ "${CT_GCC_USE_GMP_MPFR}" = "y" ]; then
    1.22 +    if [ "${CT_CC_GCC_USE_GMP_MPFR}" = "y" ]; then
    1.23          extra_config+=("--with-gmp=${CT_PREFIX_DIR}")
    1.24          extra_config+=("--with-mpfr=${CT_PREFIX_DIR}")
    1.25      fi
    1.26 -    if [ "${CT_GCC_USE_PPL_CLOOG_MPC}" = "y" ]; then
    1.27 +    if [ "${CT_CC_GCC_USE_PPL_CLOOG_MPC}" = "y" ]; then
    1.28          extra_config+=("--with-ppl=${CT_PREFIX_DIR}")
    1.29          extra_config+=("--with-cloog=${CT_PREFIX_DIR}")
    1.30          extra_config+=("--with-mpc=${CT_PREFIX_DIR}")