From a9e1186c4d08a1819f9ef9f2ddee00f2b2c223c6 Mon Sep 17 00:00:00 2001 From: simonmar Date: Wed, 23 Nov 2005 11:32:53 +0000 Subject: [PATCH] [project @ 2005-11-23 11:32:53 by simonmar] make --mk-dll work with --make Submitted by: Esa Ilari Vuokko , thanks! --- ghc/compiler/main/DriverPipeline.hs | 5 ++++- ghc/docs/users_guide/flags.xml | 12 ++++++------ 2 files changed, 10 insertions(+), 7 deletions(-) diff --git a/ghc/compiler/main/DriverPipeline.hs b/ghc/compiler/main/DriverPipeline.hs index 633561a..85099e8 100644 --- a/ghc/compiler/main/DriverPipeline.hs +++ b/ghc/compiler/main/DriverPipeline.hs @@ -330,7 +330,10 @@ link BatchCompile dflags batch_attempt_linking hpt <+> text "...") -- Don't showPass in Batch mode; doLink will do that for us. - staticLink dflags obj_files pkg_deps + let link = case ghcLink dflags of + MkDLL -> doMkDLL + StaticLink -> staticLink + link dflags obj_files pkg_deps debugTraceMsg dflags 3 (text "link: done") diff --git a/ghc/docs/users_guide/flags.xml b/ghc/docs/users_guide/flags.xml index a6c4d12..8406184 100644 --- a/ghc/docs/users_guide/flags.xml +++ b/ghc/docs/users_guide/flags.xml @@ -173,12 +173,6 @@ mode - - - - DLL-creation mode (Windows only) - dynamic - - - @@ -1288,6 +1282,12 @@ - + + DLL-creation mode (Windows only) + dynamic + - + + Don't assume this program contains main dynamic -- 1.7.10.4