Searched refs:MPN_PATH (Results 1 - 1 of 1) sorted by relevance

/netbsd-current/external/lgpl3/gmp/dist/
H A Dconfigure5744 MPN_PATH=$MPN_PATH
8743 # If the user gave an MPN_PATH, use that verbatim, otherwise choose
8746 if test -n "$MPN_PATH"; then
8747 path="$MPN_PATH"
10947 if test -z "$MPN_PATH"; then
10953 if test $GMP_NAIL_BITS != 0 && test -z "$MPN_PATH"; then
11196 echo " MPN_PATH=\"$path\""

Completed in 104 milliseconds