Added forgotten bignum patch.

diff --git a/debian/patches/config_bignum_newonly.dpatch b/debian/patches/config_bignum_newonly.dpatch
new file mode 100644 (file)
index 0000000..f56331a
--- /dev/null
+++ b/debian/patches/config_bignum_newonly.dpatch
@@ -0,0 +1,77 @@
+#! /bin/sh -e 
+## config_bignum.dpatch by  <luther@debian.org>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: Makefiles, configure scripts and other build stuff adapted for
+## DP: debian package creation
+
+if [ $# -ne 1 ]; then
+    echo "`basename $0`: script expects -patch|-unpatch as argument" >&2
+    exit 1
+fi
+case "$1" in
+    -patch) patch -f --no-backup-if-mismatch -p1 < $0;;
+    -unpatch) patch -f --no-backup-if-mismatch -R -p1 < $0;;
+    *)
+        echo "`basename $0`: script expects -patch|-unpatch as argument" >&2
+        exit 1;;
+esac
+
+exit 0
+@DPATCH@
+diff -ur ocaml-3.07.2a.orig/configure ocaml-3.07.2a/configure
+--- ocaml-3.07.2a.orig/configure       2003-12-17 00:59:21.000000000 +0100
++++ ocaml-3.07.2a/configure    2003-12-17 00:59:00.000000000 +0100
+@@ -1021,30 +1021,21 @@
+ # Determine the target architecture for the "num" library
+ 
+ case "$host" in
+-  mips-*-ultrix*) bignum_arch=mips;;
+-  alpha*-*-osf*) bignum_arch=alpha;;
+-  i[3456]86-*-linux*)
+-    case `sh ./runtest elf.c` in
+-      elf) bignum_arch=x86;;
+-        *) bignum_arch=C;;
+-    esac;;
+-  i[3456]86-*-beos) bignum_arch=x86;;
+-  i[3456]86-*-*bsd*)
+-    case `sh ./runtest elf.c` in
+-      elf) bignum_arch=x86;;
+-        *) bignum_arch=C;;
+-    esac;;
+-  sparc*-*-sunos*) bignum_arch=supersparc;;
+-  sparc*-*-solaris*) bignum_arch=supersparc-solaris;;
+-  sparc*-*-*bsd*) bignum_arch=sparc;;
+-  m68k-*-sunos*) bignum_arch=68K;;
+-  *) bignum_arch=C
++  alpha*-*-*)    bng_arch=alpha; bng_asm_level=1;;
++  i[3456]86-*-*) bng_arch=ia32
++                 if `sh ./trycompile ia32sse2.c`
++                 then bng_asm_level=2
++                 else bng_asm_level=1
++                 fi;;
++  mips-*-*)      bng_arch=mips; bng_asm_level=1;;
++  powerpc-*-*)   bng_arch=ppc; bng_asm_level=1;;
++  sparc*-*-*)    bng_arch=sparc; bng_asm_level=1;;
++  x86_64-*-*)    bng_arch=amd64; bng_asm_level=1;;
++  *)             bng_arch=generic; bng_asm_level=0;;
+ esac
+ 
+-# Some systems (e.g. Solaris) don't have an assembler!
+-if sh ./searchpath as; then :; else bignum_arch=C; fi
+-
+-echo "BIGNUM_ARCH=$bignum_arch" >> Makefile
++echo "BNG_ARCH=$bng_arch" >> Makefile
++echo "BNG_ASM_LEVEL=$bng_asm_level" >> Makefile
+ 
+ # Determine if the POSIX threads library is supported
+ 
+@@ -1524,7 +1515,7 @@
+ echo "        $otherlibraries"
+ 
+ echo "Configuration for the \"num\" library:"
+-echo "        target architecture ...... $bignum_arch"
++echo "        target architecture ...... $bng_arch (asm level $bng_asm_level)"
+ 
+ if test "$x11_include" != "not found" && test "$x11_lib" != "not found"; then
+ echo "Configuration for the \"graph\" library:"