[MLton-commit] r7516

[Wesley Terpstra]

Reflect the latest commit to MLton
 -- needed to respect symlink in /usr/lib/mlton/targets/self


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

U   mlton/trunk/package/debian/patches/11-fixes-20100608-to-20110319.patch

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

Modified: mlton/trunk/package/debian/patches/11-fixes-20100608-to-20110319.patch
===================================================================
--- mlton/trunk/package/debian/patches/11-fixes-20100608-to-20110319.patch	2011-03-20 20:05:21 UTC (rev 7515)
+++ mlton/trunk/package/debian/patches/11-fixes-20100608-to-20110319.patch	2011-03-20 20:08:28 UTC (rev 7516)
@@ -663,3 +663,15 @@
          -target-link-opt mingw                                   \
                  '-lws2_32 -lkernel32 -lpsapi -lnetapi32 -lwinmm' \
          -target-link-opt mingw '-Wl,--enable-stdcall-fixup'      \
+Index: lib/mlton/basic/dir.sml
+===================================================================
+--- mlton.orig/lib/mlton/basic/dir.sml	(revision 7509)
++++ mlton/lib/mlton/basic/dir.sml	(working copy)
+@@ -56,6 +56,7 @@
+    fold (d, ([], []), fn (x, (dirs, files)) =>
+       let
+          val file = OS.Path.joinDirFile { dir=d, file=x }
++         val file = FS.realPath file
+       in
+          if FS.isLink file
+             then (dirs, files)