From be8a839d8344942f7e4ba8d22d2e1bdc63d3e002 Mon Sep 17 00:00:00 2001
From: David Lovemore
Date: Thu, 9 Aug 2012 16:05:08 +0100
Subject: Made 64 bit linux port lii6gc.  i've renamed thlii4.c to thli.c.

Copied from Perforce
 Change: 178876
 ServerID: perforce.ravenbrook.com

---
 mps/code/mpstd.h | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

(limited to 'mps/code/mpstd.h')

diff --git a/mps/code/mpstd.h b/mps/code/mpstd.h
index 4a8a0875ca3..86b89c836f5 100644
--- a/mps/code/mpstd.h
+++ b/mps/code/mpstd.h
@@ -470,6 +470,23 @@
 #define MPS_WORD_SHIFT  5
 #define MPS_PF_ALIGN    4
 
+/* GCC 4.6.3, gcc -E -dM */
+
+#elif defined(__linux__) && defined(__x86_64) && defined(__GNUC__)
+#if defined(CONFIG_PF_STRING) && ! defined(CONFIG_PF_LII6GC)
+#error "specified CONFIG_PF_... inconsistent with detected lii6gc"
+#endif
+#define MPS_PF_LII6GC
+#define MPS_PF_STRING   "lii6gc"
+#define MPS_OS_LI
+#define MPS_ARCH_I6
+#define MPS_BUILD_GC
+#define MPS_T_WORD      unsigned long
+#define MPS_T_ULONGEST  unsigned long
+#define MPS_WORD_WIDTH  64
+#define MPS_WORD_SHIFT  6
+#define MPS_PF_ALIGN    8
+
 /* GCC 2.7.2, gcc -E -dM */
 
 #elif defined(__linux__) && defined(__PPC__) && defined(__GNUC__)
-- 
cgit v1.2.1