[MLton-commit] r6920

[Wesley Terpstra]

Creating cygwin DLLs work the same way as MinGW.
This patch lets cygwin pass the library regression -- excluding time profiling.


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

U   mlton/trunk/mlton/main/main.fun

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

Modified: mlton/trunk/mlton/main/main.fun
===================================================================
--- mlton/trunk/mlton/main/main.fun	2008-10-10 02:22:13 UTC (rev 6919)
+++ mlton/trunk/mlton/main/main.fun	2008-10-11 19:06:32 UTC (rev 6920)
@@ -1202,11 +1202,17 @@
                                | (Executable, _) => maybeOut ""
                                | (LibArchive, _) => maybeOut ".a"
                                | (Library, Darwin) => maybeOut ".dylib"
-                               | (Library, MinGW) => !libname ^ ".dll"
+                               | (Library, Cygwin) => !libname ^ ".dll"
+                               | (Library, MinGW)  => !libname ^ ".dll"
                                | (Library, _) => maybeOut ".so"
                            val libOpts = 
                               case targetOS of
                                  Darwin => [ "-dynamiclib" ]
+                               | Cygwin =>  [ "-shared", 
+                                              "-Wl,--out-implib," ^
+                                                 maybeOut ".a",
+                                              "-Wl,--output-def," ^
+                                                 !libname ^ ".def"]
                                | MinGW =>  [ "-shared", 
                                              "-Wl,--out-implib," ^
                                                 maybeOut ".a",