[MLton-commit] r5740

[jlouis at mlton.org]

use the CPP identifier __LP64__ to discriminate between 32 and 64 bit mode on FreeBSD.

----------------------------------------------------------------------

U   mlton/trunk/runtime/gc.h
U   mlton/trunk/runtime/util/pointer.h

----------------------------------------------------------------------

Modified: mlton/trunk/runtime/gc.h
===================================================================
--- mlton/trunk/runtime/gc.h	2007-07-08 20:21:05 UTC (rev 5739)
+++ mlton/trunk/runtime/gc.h	2007-07-08 20:21:08 UTC (rev 5740)
@@ -23,6 +23,8 @@
 #else
 #error unknown __WORDSIZE
 #endif
+#elif (defined __LP64__)
+#define GC_MODEL_NATIVE64
 #else
 #define GC_MODEL_NATIVE32
 #endif

Modified: mlton/trunk/runtime/util/pointer.h
===================================================================
--- mlton/trunk/runtime/util/pointer.h	2007-07-08 20:21:05 UTC (rev 5739)
+++ mlton/trunk/runtime/util/pointer.h	2007-07-08 20:21:08 UTC (rev 5740)
@@ -20,6 +20,8 @@
 #else
 #error __WORDSIZE unknown
 #endif
+#elif __LP64__
+#define FMTPTR "0x%016"PRIxPTR
 #else
 #define FMTPTR "0x%08"PRIxPTR
 #endif