[MLton-commit] r4138

Stephen Weeks MLton@mlton.org
Wed, 2 Nov 2005 23:46:10 -0800


Added MLNLFFI platform memory files.

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

A   mlton/trunk/lib/mlnlffi/memory/platform/memory.x86-freebsd.mlb
A   mlton/trunk/lib/mlnlffi/memory/platform/memory.x86-netbsd.mlb
A   mlton/trunk/lib/mlnlffi/memory/platform/memory.x86-openbsd.mlb

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

Added: mlton/trunk/lib/mlnlffi/memory/platform/memory.x86-freebsd.mlb
===================================================================
--- mlton/trunk/lib/mlnlffi/memory/platform/memory.x86-freebsd.mlb	2005-11-03 05:34:32 UTC (rev 4137)
+++ mlton/trunk/lib/mlnlffi/memory/platform/memory.x86-freebsd.mlb	2005-11-03 07:46:08 UTC (rev 4138)
@@ -0,0 +1 @@
+../memory.32bit-unix.mlb

Added: mlton/trunk/lib/mlnlffi/memory/platform/memory.x86-netbsd.mlb
===================================================================
--- mlton/trunk/lib/mlnlffi/memory/platform/memory.x86-netbsd.mlb	2005-11-03 05:34:32 UTC (rev 4137)
+++ mlton/trunk/lib/mlnlffi/memory/platform/memory.x86-netbsd.mlb	2005-11-03 07:46:08 UTC (rev 4138)
@@ -0,0 +1 @@
+../memory.32bit-unix.mlb

Added: mlton/trunk/lib/mlnlffi/memory/platform/memory.x86-openbsd.mlb
===================================================================
--- mlton/trunk/lib/mlnlffi/memory/platform/memory.x86-openbsd.mlb	2005-11-03 05:34:32 UTC (rev 4137)
+++ mlton/trunk/lib/mlnlffi/memory/platform/memory.x86-openbsd.mlb	2005-11-03 07:46:08 UTC (rev 4138)
@@ -0,0 +1 @@
+../memory.32bit-unix.mlb