[project @ 2001-02-14 12:41:15 by rrt]

Add winmm to libraries for RTS under Windows, where it's now used for
threadDelay.

diff --git a/ghc/driver/PackageSrc.hs b/ghc/driver/PackageSrc.hs
index 4a58145..5574b27 100644 (file)
--- a/ghc/driver/PackageSrc.hs
+++ b/ghc/driver/PackageSrc.hs
@@ -46,7 +46,11 @@ package_details installing =
                             then [ clibdir ]
                             else [ ghc_src_dir cGHC_RUNTIME_DIR ],
         hs_libraries      = [ "HSrts" ],
+#ifndef mingw32_TARGET_OS
        extra_libraries   = [],
+#else
+        extra_libraries   = [ "-lwinmm" ], -- for the threadDelay timer
+#endif
         include_dirs   = if installing
                             then [ clibdir ++ "/includes" ]
                             else [ ghc_src_dir cGHC_INCLUDE_DIR ],