Hook up x86-64 in the compiler and microcode's configure scripts.

diff --git a/src/compiler/choose-machine.sh b/src/compiler/choose-machine.sh
index c6ccafc27702d4cdd3ef5dc34bb1dbea8ecf1eb1..0dd75e795f6c6d1c7c85f23e6dd5dc3fe34920b1 100755 (executable)
--- a/src/compiler/choose-machine.sh
+++ b/src/compiler/choose-machine.sh
@@ -81,6 +81,9 @@ hppa-* | hppa1.[01]-* | hppa2.?-*)
 vax-*)
     chosen vax
     ;;
+x86_64-*)
+    chosen x86-64
+    ;;
 *)
     chosen none
     ;;

diff --git a/src/microcode/configure.ac b/src/microcode/configure.ac
index 4a07a653bc8bd4b4b17b696ea0d3050d18c30042..b63c785b5941598d88391212063710c99e00b6b7 100644 (file)
--- a/src/microcode/configure.ac
+++ b/src/microcode/configure.ac
@@ -283,11 +283,6 @@ yes)
     i?86)
        SCM_ARCH=i386
        ;;
-    # x86_64)
-    #     SCM_ARCH=i386
-    #     CFLAGS="${CFLAGS} -m32"
-    #     LDFLAGS="${LDFLAGS} -m32"
-    #     ;;
     m68k|m680?0)
        SCM_ARCH=mc68k
        ;;
@@ -297,6 +292,9 @@ yes)
     vax)
        SCM_ARCH=vax
        ;;
+    x86_64)
+       SCM_ARCH=x86-64
+       ;;
     esac
     ;;
 c)