comparison configure.in @ 1985:a8b463c4984a

[xemacs-hg @ 2004-04-06 12:13:54 by stephent] allow to explicitly disable bignums <87ad1ppaoe.fsf@tleepslib.sk.tsukuba.ac.jp>
author stephent
date Tue, 06 Apr 2004 12:13:55 +0000
parents 36760cdcb631
children 3432736e50ad
comparison
equal deleted inserted replaced
1984:36760cdcb631 1985:a8b463c4984a
707 dnl Enhanced Lisp numbers 707 dnl Enhanced Lisp numbers
708 "use_number_lib" ) 708 "use_number_lib" )
709 case "$val" in 709 case "$val" in
710 gmp ) val=gmp ;; 710 gmp ) val=gmp ;;
711 mp ) val=mp ;; 711 mp ) val=mp ;;
712 no|non|none ) val=no ;;
712 * ) USAGE_ERROR(["The \`--$optname' option must have one of these values: 713 * ) USAGE_ERROR(["The \`--$optname' option must have one of these values:
713 \`gmp' or \`mp'."]) ;; 714 \`gmp', \`mp', or \`no'."]) ;;
714 esac 715 esac
715 eval "$opt=\"$val\"" 716 eval "$opt=\"$val\""
716 ;; 717 ;;
717 718
718 dnl Has the user requested error-checking? 719 dnl Has the user requested error-checking?