From 3a2441379b295db36657a0f80ff553f80d31cc36 Mon Sep 17 00:00:00 2001
From: apt <unknown>
Date: Mon, 27 Aug 2001 14:27:23 +0000
Subject: [PATCH] [project @ 2001-08-27 14:27:23 by apt] document 31-bit core
 output option settings

---
 mk/config.mk.in |   20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 8ed5be0..a4f4e2a 100644
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -953,3 +953,23 @@ WAY_n_HC_OPTS=
 
 WAY_o_NAME=
 WAY_o_HC_OPTS=
+
+################################################################################
+#
+#		31-bit-Int Core files
+#
+################################################################################
+
+# 
+# It is possible to configure the compiler and prelude to support 31-bit
+# integers, suitable for a back-end and RTS using a tag bit on a 32-bit
+# architecture.  Currently the only useful output from this option is external Core
+# files.  The following additions to your build.mk will produce the
+# 31-bit core output.  Note that this is *not* just a library "way"; the
+# compiler must be built a special way too.
+
+# GhcCppOpts +=-DWORD_SIZE_IN_BITS=31
+# GhcLibHcOpts +=-fext-core -fno-code -DWORD_SIZE_IN_BITS=31
+# GhcLibCppOpts += -DWORD_SIZE_IN_BITS=31
+# SplitObjs=NO
+
-- 
1.7.10.4