diff 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
line wrap: on
line diff
--- a/configure.in	Mon Apr 05 22:50:51 2004 +0000
+++ b/configure.in	Tue Apr 06 12:13:55 2004 +0000
@@ -709,8 +709,9 @@
 	  case "$val" in
 	    gmp ) val=gmp ;;
 	    mp )  val=mp ;;
+	    no|non|none ) val=no ;;
 	    * ) USAGE_ERROR(["The \`--$optname' option must have one of these values:
-  \`gmp' or \`mp'."]) ;;
+  \`gmp', \`mp', or \`no'."]) ;;
 	  esac
           eval "$opt=\"$val\""
         ;;