- --with-mpfr=/cross-tools \
- --with-gmp=/cross-tools \
- --with-isl=/cross-tools \
- --with-cloog=/cross-tools \
- --with-mpc=/cross-tools
+ --with-mpfr=${CROSS_TOOLS_DIR} \
+ --with-gmp=${CROSS_TOOLS_DIR} \
+ --with-isl=${CROSS_TOOLS_DIR} \
+ --with-cloog=${CROSS_TOOLS_DIR} \
+ --with-mpc=${CROSS_TOOLS_DIR}