diff options
author | Ian Lynagh <igloo@earth.li> | 2011-11-18 02:06:57 +0000 |
---|---|---|
committer | Ian Lynagh <igloo@earth.li> | 2011-11-18 13:50:09 +0000 |
commit | 668c860b361f16c71d23dd41af2eeb97f6716360 (patch) | |
tree | 1d0fe2aead32243ef4f1b880ccc1c887a8297d5e /docs/users_guide/separate_compilation.xml | |
parent | 62a34c723287a73b65f6f9fa7d673bd8aa682866 (diff) | |
download | haskell-668c860b361f16c71d23dd41af2eeb97f6716360.tar.gz |
Add -dumpdir flag; fixes trac #5198
-ddump-* files are put in the given directory.
-outputdir also sets the dumpdir.
Diffstat (limited to 'docs/users_guide/separate_compilation.xml')
-rw-r--r-- | docs/users_guide/separate_compilation.xml | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/docs/users_guide/separate_compilation.xml b/docs/users_guide/separate_compilation.xml index e2c9c33b4c..9d482e138a 100644 --- a/docs/users_guide/separate_compilation.xml +++ b/docs/users_guide/separate_compilation.xml @@ -374,6 +374,19 @@ $ ghc -c parse/Foo.hs parse/Bar.hs gurgle/Bumble.hs -odir `uname -m` </listitem> </varlistentry> + <varlistentry> + <term> + <option>-dumpdir</option> <replaceable>dir</replaceable> + <indexterm><primary><option>-dumpdir</option></primary></indexterm> + </term> + <listitem> + <para>Redirects all dump files into + <replaceable>dir</replaceable>. Dump files are generated when + <literal>-ddump-to-file</literal> is used with other + <literal>-ddump-*</literal> flags.</para> + </listitem> + </varlistentry> + <varlistentry> <term> <option>-outputdir</option> <replaceable>dir</replaceable> @@ -383,7 +396,7 @@ $ ghc -c parse/Foo.hs parse/Bar.hs gurgle/Bumble.hs -odir `uname -m` <para>The <option>-outputdir</option> option is shorthand for the combination of <option>-odir</option>, <option>-hidir</option>, - and <option>-stubdir</option>. + <option>-stubdir</option> and <option>-dumpdir</option>. </para> </listitem> </varlistentry> |