From 4ca6790feb128b03e0783de7f44399fef5c5ad22 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Fri, 28 Nov 2008 19:36:33 +0000 Subject: Update docs not to talk about deprecated -optdep-* flags; fixes trac #2773 --- docs/users_guide/flags.xml | 6 --- docs/users_guide/phases.xml | 10 ---- docs/users_guide/separate_compilation.xml | 79 +++++-------------------------- 3 files changed, 11 insertions(+), 84 deletions(-) (limited to 'docs') diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 540230d9a9..d589fc366e 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -1953,12 +1953,6 @@ dynamic - - - option - pass option to the dependency generator - dynamic - - - option pass option to windres. diff --git a/docs/users_guide/phases.xml b/docs/users_guide/phases.xml index 4afd680274..f3a6e339cf 100644 --- a/docs/users_guide/phases.xml +++ b/docs/users_guide/phases.xml @@ -212,16 +212,6 @@ Pass option to the DLL generator. - - - option - - - - Pass option to the - dependency generator. - - option diff --git a/docs/users_guide/separate_compilation.xml b/docs/users_guide/separate_compilation.xml index 727a133655..32dc850e3c 100644 --- a/docs/users_guide/separate_compilation.xml +++ b/docs/users_guide/separate_compilation.xml @@ -1025,15 +1025,7 @@ M.o : X.hi-boot option below). The dependency generation phase of GHC can take some - additional options, which you may find useful. For historical - reasons, each option passed to the dependency generator from - the GHC command line must be preceded by - -optdep. For example, to pass -f - .depend to the dependency generator, you say - - -ghc -M -optdep-f -optdep.depend ... - + additional options, which you may find useful. The options which affect dependency generation are: @@ -1042,15 +1034,7 @@ ghc -M -optdep-f -optdep.depend ... Display a list of the cycles in the module graph. This is - useful when trying to eliminate such cycles. You do not need the -optdep prefix - for this flag. - - - - - - - Turn off warnings about interface file shadowing. + useful when trying to eliminate such cycles. @@ -1066,14 +1050,14 @@ ghc -M -optdep-f -optdep.depend ... - file + file Use file as the makefile, rather than makefile or Makefile. If file doesn't exist, mkdependHS creates it. We often use - to put the dependencies in + to put the dependencies in .depend and then include the file .depend into @@ -1081,21 +1065,8 @@ ghc -M -optdep-f -optdep.depend ... - - - + Make extra dependencies that declare that files with suffix @@ -1104,13 +1075,14 @@ ghc -M -optdep-f -optdep.depend ... .<suf>_hi, or (for {-# SOURCE #-} imports) on .hi-boot. Multiple - flags are permitted. For example, - will make dependencies - for .hc on + flags are permitted. For example, + + will make dependencies + for .hs on .hi, - .a_hc on + .a_hs on .a_hi, and - .b_hc on + .b_hs on .b_hi. (Useful in conjunction with NoFib "ways".) @@ -1125,35 +1097,6 @@ ghc -M -optdep-f -optdep.depend ... - - - - same as - - - - - -- cgit v1.2.1