Searched refs:GMP_SOURCE (Results 1 – 2 of 2) sorted by relevance
141 GMP_SOURCE=`$SED -n 's/^srcdir = *//p' $withval/Makefile`142 case "$GMP_SOURCE" in143 .) GMP_SOURCE="" ;;145 ?*) GMP_SOURCE="$withval/$GMP_SOURCE" ;;147 if test -d "$GMP_SOURCE" ; then148 CPPFLAGS="$CPPFLAGS -I$GMP_SOURCE -I$GMP_SOURCE/tune"
4107 GMP_SOURCE=`$SED -n 's/^srcdir = *//p' $withval/Makefile`4108 case "$GMP_SOURCE" in4109 .) GMP_SOURCE="" ;;4111 ?*) GMP_SOURCE="$withval/$GMP_SOURCE" ;;4113 if test -d "$GMP_SOURCE" ; then4114 CPPFLAGS="$CPPFLAGS -I$GMP_SOURCE -I$GMP_SOURCE/tune"