X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fdocs%2Fusers_guide%2Fflags.sgml;h=09743501ec7b804107da4dc8760ad1ad17110e01;hb=2dfd507259664e6f28df4a9467a8de34d01d70a0;hp=769b64126bc12b71ce7cbb7b25084342a5790684;hpb=dc801dc275fb8f81d482535b4d6317e234bb10f8;p=ghc-hetmet.git diff --git a/ghc/docs/users_guide/flags.sgml b/ghc/docs/users_guide/flags.sgml index 769b641..0974350 100644 --- a/ghc/docs/users_guide/flags.sgml +++ b/ghc/docs/users_guide/flags.sgml @@ -3,14 +3,14 @@ This section is a quick-reference for GHC's command-line flags. For each flag, we also list its static/dynamic status (see - ), and the flag's opposite + ), and the flag's opposite (if available). - Help and verbosity options (<xref linkend="options-help">) + Help and verbosity options (<xref linkend="options-help"/>) - + Flag @@ -74,10 +74,10 @@ - Which phases to run (<xref linkend="options-order">) + Which phases to run (<xref linkend="options-order"/>) - + Flag @@ -117,10 +117,10 @@ - Redirecting output (<xref linkend="options-output">) + Redirecting output (<xref linkend="options-output"/>) - + Flag @@ -178,10 +178,10 @@ - Keeping intermediate files (<xref linkend="keeping-intermediates">) + Keeping intermediate files (<xref linkend="keeping-intermediates"/>) - + Flag @@ -221,10 +221,10 @@ - Temporary files (<xref linkend="temp-files">) + Temporary files (<xref linkend="temp-files"/>) - + Flag @@ -246,10 +246,10 @@ - Finding imports (<xref linkend="search-path">) + Finding imports (<xref linkend="search-path"/>) - + Flag @@ -279,10 +279,10 @@ - Interface file options (<xref linkend="hi-options">) + Interface file options (<xref linkend="hi-options"/>) - + Flag @@ -325,10 +325,10 @@ - Recompilation checking (<xref linkend="recomp">) + Recompilation checking (<xref linkend="recomp"/>) - + Flag @@ -351,10 +351,10 @@ - Interactive-mode options (<xref linkend="ghci-dot-files">) + Interactive-mode options (<xref linkend="ghci-dot-files"/>) - + Flag @@ -382,9 +382,9 @@ - Packages (<xref linkend="packages">) + Packages (<xref linkend="packages"/>) - + Flag @@ -418,10 +418,10 @@ - Language options (<xref linkend="options-language">) + Language options (<xref linkend="options-language"/>) - + Flag @@ -516,10 +516,10 @@ - Warnings (<xref linkend="options-sanity">) + Warnings (<xref linkend="options-sanity"/>) - + Flag @@ -556,7 +556,7 @@ - warn about uses of functions & types that are deprecated + warn about uses of functions & types that are deprecated dynamic @@ -666,10 +666,10 @@ - Optimisation levels (<xref linkend="options-optimise">) + Optimisation levels (<xref linkend="options-optimise"/>) - + Flag @@ -697,10 +697,10 @@ - Individual optimisations (<xref linkend="options-f">) + Individual optimisations (<xref linkend="options-f"/>) - + Flag @@ -893,10 +893,10 @@ - Profiling options (<xref linkend="profiling">) + Profiling options (<xref linkend="profiling"/>) - + Flag @@ -950,10 +950,10 @@ - Parallelism options (<xref linkend="sec-using-parallel">) + Parallelism options (<xref linkend="sec-using-parallel"/>) - + Flag @@ -987,10 +987,10 @@ - C pre-processor options (<xref linkend="c-pre-processor">) + C pre-processor options (<xref linkend="c-pre-processor"/>) - + Flag @@ -1031,9 +1031,9 @@ - C compiler options (<xref linkend="options-C-compiler">) + C compiler options (<xref linkend="options-C-compiler"/>) - + Flag @@ -1056,10 +1056,10 @@ - Code generation options (<xref linkend="options-codegen">) + Code generation options (<xref linkend="options-codegen"/>) - + Flag @@ -1093,10 +1093,10 @@ - Linking options (<xref linkend="options-linker">) + Linking options (<xref linkend="options-linker"/>) - + Flag @@ -1194,10 +1194,10 @@ - Replacing phases (<xref linkend="replacing-phases">) + Replacing phases (<xref linkend="replacing-phases"/>) - + Flag @@ -1271,10 +1271,10 @@ - Forcing options to particular phases (<xref linkend="forcing-options-through">) + Forcing options to particular phases (<xref linkend="forcing-options-through"/>) - + Flag @@ -1340,10 +1340,10 @@ - Platform-specific options (<xref linkend="options-platform">) + Platform-specific options (<xref linkend="options-platform"/>) - + Flag @@ -1372,10 +1372,10 @@ - External core file options (<xref linkend="ext-core">) + External core file options (<xref linkend="ext-core"/>) - + Flag @@ -1398,10 +1398,10 @@ - Compiler debugging options (<xref linkend="options-debugging">) + Compiler debugging options (<xref linkend="options-debugging"/>) - + Flag @@ -1660,7 +1660,7 @@ Misc compiler options - + Flag