From 3801775fcf2c8f0e05a6ea9e5db7cd2cd4d50975 Mon Sep 17 00:00:00 2001 From: simonmar Date: Wed, 8 Jan 2003 10:10:19 +0000 Subject: [PATCH] [project @ 2003-01-08 10:10:19 by simonmar] Update the documentation on --make mode to indicate that multiple sources/modules can be given on the command line, as well as multiple object files. MERGE TO STABLE --- ghc/docs/users_guide/using.sgml | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) diff --git a/ghc/docs/users_guide/using.sgml b/ghc/docs/users_guide/using.sgml index 09aa47d..97b7eda 100644 --- a/ghc/docs/users_guide/using.sgml +++ b/ghc/docs/users_guide/using.sgml @@ -393,11 +393,11 @@ module X where ghc ––make Main.hs - The command line must contain one source file or module - name; GHC will figure out all the modules in the program by - following the imports from this initial module. It will then - attempt to compile each module which is out of date, and finally - if the top module is Main, the program + The command line may contain any number of source file names + or module names; GHC will figure out all the modules in the + program by following the imports from these initial modules. It + will then attempt to compile each module which is out of date, and + finally if there is a Main module, the program will also be linked into an executable. The main advantages to using ghc ––make @@ -434,8 +434,9 @@ ghc ––make Main.hs linkend="source-file-options">). If the program needs to be linked with additional objects - (say, some auxilliary C code), these can be specified on the - command line as usual. + (say, some auxilliary C code), then the object files can be + given on the command line and GHC will include them when linking + the executable. Note that GHC can only follow dependencies if it has the source file available, so if your program includes a module for -- 1.7.10.4