Lines Matching refs:withval
3973 withval=$with_gmp_include;
3974 if test -d "$withval" ; then
3975 local_tmp=`realpath "$withval" 2>/dev/null`
3978 withval="$local_tmp"
3980 withval="$withval"
3983 case "$withval" in
3984 [\\/]* | ?:[\\/]* ) withval="$withval" ;;
3985 *) withval="$PWD"/"$withval" ;;
3988 if test `echo "$withval"|cut -d' ' -f1` != "$withval" ; then
3989 as_fn_error $? "\"$withval\" directory shall not contain any space." "$LINENO" 5
3992 as_fn_error $? "\"$withval\" shall be a valid directory" "$LINENO" 5
3995 CPPFLAGS="$CPPFLAGS -I$withval"
4003 withval=$with_gmp_lib;
4005 if test -d "$withval" ; then
4006 local_tmp=`realpath "$withval" 2>/dev/null`
4009 withval="$local_tmp"
4011 withval="$withval"
4014 case "$withval" in
4015 [\\/]* | ?:[\\/]* ) withval="$withval" ;;
4016 *) withval="$PWD"/"$withval" ;;
4019 if test `echo "$withval"|cut -d' ' -f1` != "$withval" ; then
4020 as_fn_error $? "\"$withval\" directory shall not contain any space." "$LINENO" 5
4023 as_fn_error $? "\"$withval\" shall be a valid directory" "$LINENO" 5
4026 LDFLAGS="$LDFLAGS -L$withval"
4027 gmp_lib_path="$withval"
4036 withval=$with_gmp;
4038 if test -d "$withval" ; then
4039 local_tmp=`realpath "$withval" 2>/dev/null`
4042 withval="$local_tmp"
4044 withval="$withval"
4047 case "$withval" in
4048 [\\/]* | ?:[\\/]* ) withval="$withval" ;;
4049 *) withval="$PWD"/"$withval" ;;
4052 if test `echo "$withval"|cut -d' ' -f1` != "$withval" ; then
4053 as_fn_error $? "\"$withval\" directory shall not contain any space." "$LINENO" 5
4056 as_fn_error $? "\"$withval\" shall be a valid directory" "$LINENO" 5
4060 CPPFLAGS="$CPPFLAGS -I$withval/include"
4061 LDFLAGS="$LDFLAGS -L$withval/lib"
4062 gmp_lib_path="$withval/lib"
4077 withval=$with_gmp_build;
4079 if test -d "$withval" ; then
4080 local_tmp=`realpath "$withval" 2>/dev/null`
4083 withval="$local_tmp"
4085 withval="$withval"
4088 case "$withval" in
4089 [\\/]* | ?:[\\/]* ) withval="$withval" ;;
4090 *) withval="$PWD"/"$withval" ;;
4093 if test `echo "$withval"|cut -d' ' -f1` != "$withval" ; then
4094 as_fn_error $? "\"$withval\" directory shall not contain any space." "$LINENO" 5
4097 as_fn_error $? "\"$withval\" shall be a valid directory" "$LINENO" 5
4101 CPPFLAGS="$CPPFLAGS -I$withval -I$withval/tune"
4102 LDFLAGS="$LDFLAGS -L$withval -L$withval/.libs -L$withval/tune"
4103 gmp_lib_path="$withval$PATH_SEPARATOR$withval/.libs$PATH_SEPARATOR$withval/tune"
4104 if test -r $withval/Makefile ; then
4105 GMP_CFLAGS=`$SED -n 's/^CFLAGS = //p' $withval/Makefile`
4106 GMP_CC=`$SED -n 's/^CC = //p' $withval/Makefile`
4107 GMP_SOURCE=`$SED -n 's/^srcdir = *//p' $withval/Makefile`
4111 ?*) GMP_SOURCE="$withval/$GMP_SOURCE" ;;
4132 withval=$with_mini_gmp;
4134 if test -d "$withval" ; then
4135 local_tmp=`realpath "$withval" 2>/dev/null`
4138 withval="$local_tmp"
4140 withval="$withval"
4143 case "$withval" in
4144 [\\/]* | ?:[\\/]* ) withval="$withval" ;;
4145 *) withval="$PWD"/"$withval" ;;
4148 if test `echo "$withval"|cut -d' ' -f1` != "$withval" ; then
4149 as_fn_error $? "\"$withval\" directory shall not contain any space." "$LINENO" 5
4152 as_fn_error $? "\"$withval\" shall be a valid directory" "$LINENO" 5
4157 if test -f "$withval/mini-gmp.c" && test -f "$withval/mini-gmp.h"; then
4161 mini_gmp_path="$withval"
4166 as_fn_error $? "mini-gmp.{c,h} not found in $withval
4183 withval=$with_mulhigh_size;
4184 printf "%s\n" "#define MPFR_MULHIGH_SIZE $withval" >>confdefs.h
6320 withval=$with_gnu_ld; test no = "$withval" || with_gnu_ld=yes
8377 withval=$with_sysroot;
10048 withval=$with_pic; lt_p=${PACKAGE-default}
10049 case $withval in
10050 yes|no) pic_mode=$withval ;;
10055 for lt_pkg in $withval; do
10115 withval=$with_aix_soname; case $withval in
Indexes created Sun Mar 01 05:31:48 UTC 2026