Searched refs:gmp_incdir (Results 1 – 2 of 2) sorted by relevance
3412 gmp_incdir="$withval", gmp_incdir="no")3420 if test "$gmp_incdir" != "no"; then3421 CPPFLAGS="$CPPFLAGS -I$gmp_incdir"3422 INCLUDE_FLAGS="$INCLUDE_FLAGS -I$gmp_incdir"
12990 if test "$gmp_incdir" != "no"; then12991 CPPFLAGS="$CPPFLAGS -I$gmp_incdir"12992 INCLUDE_FLAGS="$INCLUDE_FLAGS -I$gmp_incdir"