Remove otherlibs/numremove-libnum

Continuing a general effort, this commit removes the "num" library for arbitrary-precision arithmetic from the core OCaml system.  A standalone distribution of this library already exists and is hosted at https://github.com/ocaml/num

1 files changed, 1 insertions, 21 deletions

diff --git a/configure b/configure
index 8c274fa1be..01b05d3c37 100755
--- a/configure
+++ b/configure
@@ -1200,7 +1200,7 @@ config UNIX_OR_WIN32 "$unix_or_win32"
 config UNIXLIB "$unixlib"
 config GRAPHLIB "$graphlib"
 
-otherlibraries="$unixlib str num dynlink bigarray"
+otherlibraries="$unixlib str dynlink bigarray"
 
 # Spacetime profiling is only available for native code on 64-bit targets.
 
@@ -1569,23 +1569,6 @@ case "$arch,$system" in
     inf "Cannot detect system stack overflow.";;
 esac
 
-# Determine the target architecture for the "num" library
-
-case "$arch" in
-  i386)     bng_arch=ia32
-            if sh ./trycompile ia32sse2.c
-            then bng_asm_level=2
-            else bng_asm_level=1
-            fi;;
-  power)    bng_arch=ppc; bng_asm_level=1;;
-  amd64)    bng_arch=amd64; bng_asm_level=1;;
-  arm64)    bng_arch=arm64; bng_asm_level=1;;
-  *)        bng_arch=generic; bng_asm_level=0;;
-esac
-
-config BNG_ARCH "$bng_arch"
-config BNG_ASM_LEVEL "$bng_asm_level"
-
 # Determine if the POSIX threads library is supported
 
 systhread_support=false
@@ -2259,9 +2242,6 @@ fi
 inf "Additional libraries supported:"
 inf "        $otherlibraries"
 
-inf "Configuration for the \"num\" library:"
-inf "        target architecture ...... $bng_arch (asm level $bng_asm_level)"
-
 if $has_graph; then
 inf "Configuration for the \"graph\" library:"
 inf "        options for compiling .... $x11_include"