summaryrefslogtreecommitdiff
path: root/docs/users_guide/separate_compilation.xml
diff options
context:
space:
mode:
authorIan Lynagh <igloo@earth.li>2011-11-18 02:06:57 +0000
committerIan Lynagh <igloo@earth.li>2011-11-18 13:50:09 +0000
commit668c860b361f16c71d23dd41af2eeb97f6716360 (patch)
tree1d0fe2aead32243ef4f1b880ccc1c887a8297d5e /docs/users_guide/separate_compilation.xml
parent62a34c723287a73b65f6f9fa7d673bd8aa682866 (diff)
downloadhaskell-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.xml15
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>