From: simonmar Date: Thu, 31 May 2001 12:40:59 +0000 (+0000) Subject: [project @ 2001-05-31 12:40:59 by simonmar] X-Git-Tag: Approximately_9120_patches~1827 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=024c02a7d75e375c32f1b9638c0b6affbbf0db9f;p=ghc-hetmet.git [project @ 2001-05-31 12:40:59 by simonmar] - document -hidir option - move -ohi documentation to "redirecting output" section - remove duplicate -ohi in the flags table. - add a warning about -ohi confusing the recompilation checker. --- diff --git a/ghc/docs/users_guide/flags.sgml b/ghc/docs/users_guide/flags.sgml index 780f485..a2037dc 100644 --- a/ghc/docs/users_guide/flags.sgml +++ b/ghc/docs/users_guide/flags.sgml @@ -125,6 +125,12 @@ - + dir + set directory for interface files + static + - + + suffix set the suffix to use for interface files static @@ -276,12 +282,6 @@ - file - Put the interface file in file - static - - - - Dump the new interface to stdout dynamic diff --git a/ghc/docs/users_guide/separate_compilation.sgml b/ghc/docs/users_guide/separate_compilation.sgml index 691701b..759bac9 100644 --- a/ghc/docs/users_guide/separate_compilation.sgml +++ b/ghc/docs/users_guide/separate_compilation.sgml @@ -123,19 +123,6 @@ - file - - - - The interface output may be directed to another file - bar2/Wurble.iface with the option - (not recommended). - To avoid generating an interface at all, you can say - -ohi /dev/null, for example. - - - - diff --git a/ghc/docs/users_guide/using.sgml b/ghc/docs/users_guide/using.sgml index d42ee47..184c02d 100644 --- a/ghc/docs/users_guide/using.sgml +++ b/ghc/docs/users_guide/using.sgml @@ -581,6 +581,41 @@ ghc --make Main.hs + file + + + + The interface output may be directed to another file + bar2/Wurble.iface with the option + (not + recommended). + + WARNING: if you redirect the interface file somewhere + that GHC can't find it, then the recompilation checker may + get confused (at the least, you won't get any recompilation + avoidance). We recommend using a combination of + and options + instead, if possible. + + To avoid generating an interface at all, you could use + this option to redirect the interface into the bit bucket: + -ohi /dev/null, for example. + + + + + directory + + + + Redirects all generated interface files into + directory, instead of the default + which is to place the interface file in the same directory + as the source file. + + + + suffix suffix suffix