[MLton-commit] r5310

[Matthew Fluet]

Set OBJPTR_REP variable according to target objptr size
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/mlton/control/control-flags.sml

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

Modified: mlton/branches/on-20050822-x86_64-branch/mlton/control/control-flags.sml
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/mlton/control/control-flags.sml	2007-02-25 19:47:21 UTC (rev 5309)
+++ mlton/branches/on-20050822-x86_64-branch/mlton/control/control-flags.sml	2007-02-25 19:48:38 UTC (rev 5310)
@@ -1057,7 +1057,10 @@
                 path = String.toLower (MLton.Platform.OS.toString
                                        (!Target.os))},
                {var = "OBJPTR_REP",
-                path = "objptr-rep32.sml"},
+                path = (case Bits.toInt (Target.Size.objptr ()) of
+                           32 => "objptr-rep32.sml"
+                         | 64 => "objptr-rep64.sml"
+                         | _ => Error.bug "Control.mlbPathMap")},
                {var = "HEADER_WORD",
                 path = "header-word32.sml"},
                {var = "SEQINDEX_INT",