# HG changeset patch
# User stephent
# Date 1081253635 0
# Node ID a8b463c4984a5edfc11d5ea59ad671a61c10c363
# Parent  36760cdcb6318170f34a7ee7bf39185c1b4634ca
[xemacs-hg @ 2004-04-06 12:13:54 by stephent]
allow to explicitly disable bignums <87ad1ppaoe.fsf@tleepslib.sk.tsukuba.ac.jp>

diff -r 36760cdcb631 -r a8b463c4984a ChangeLog
--- a/ChangeLog	Mon Apr 05 22:50:51 2004 +0000
+++ b/ChangeLog	Tue Apr 06 12:13:55 2004 +0000
@@ -1,3 +1,8 @@
+2004-04-06  Stephen J. Turnbull  <turnbull@sk.tsukuba.ac.jp>
+
+	* configure.in (use_number_lib): Accepts no to disable bignums.
+	* configure.usage: Document the "no" value.
+
 2004-04-05  Jerry James  <james@xemacs.org>
 
 	* configure.in (use_number_lib): New.  Values are "gmp" or "mp".
diff -r 36760cdcb631 -r a8b463c4984a configure.in
--- 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\""
         ;;
diff -r 36760cdcb631 -r a8b463c4984a configure.usage
--- a/configure.usage	Mon Apr 05 22:50:51 2004 +0000
+++ b/configure.usage	Tue Apr 06 12:13:55 2004 +0000
@@ -294,7 +294,7 @@
 
 --use-number-lib=TYPE   Compile in support for bignums, ratios, or bigfloats
                         using library support.  TYPE must be one of "gmp"
-                        (for GNU MP) or "mp" (for BSD MP).
+                        (for GNU MP), "mp" (for BSD MP), or "no" (disabled).
 
 
 Debugging options: