<replaceable>dir</replaceable>. For example:</para>
<screen>
-$ ghc -c parse/Foo.hs parse/Bar.hs gurgle/Bumble.hs -odir `arch`
+$ ghc -c parse/Foo.hs parse/Bar.hs gurgle/Bumble.hs -odir `uname -m`
</screen>
<para>The object files, <filename>Foo.o</filename>,
</listitem>
</varlistentry>
+ <varlistentry>
+ <term>
+ <option>-outputdir</option> <replaceable>dir</replaceable>
+ <indexterm><primary><option>-outputdir</option></primary></indexterm>
+ </term>
+ <listitem>
+ <para>The <option>-outputdir</option> option is shorthand for
+ the combination
+ of <option>-odir</option>, <option>-hidir</option>,
+ and <option>-stubdir</option>.
+ </para>
+ </listitem>
+ </varlistentry>
+
<varlistentry>
<term>
<option>-osuf</option> <replaceable>suffix</replaceable>
</indexterm>
<indexterm><primary><literal>.hc</literal> files, saving</primary>
</indexterm>
+ <indexterm><primary><literal>.ll</literal> files, saving</primary>
+ </indexterm>
<indexterm><primary><literal>.s</literal> files, saving</primary>
</indexterm>
<para>Keep intermediate <literal>.hc</literal> files when
doing <literal>.hs</literal>-to-<literal>.o</literal>
compilations via C (NOTE: <literal>.hc</literal> files
- aren't generated when using the native code generator, you
- may need to use <option>-fvia-C</option> to force them
- to be produced).</para>
+ are only generated by unregisterised compilers).</para>
</listitem>
</varlistentry>
<varlistentry>
<term>
- <option>-keep-s-file</option>,
- <option>-keep-s-files</option>
- <indexterm><primary><option>-keep-s-file</option></primary></indexterm>
- <indexterm><primary><option>-keep-s-files</option></primary></indexterm>
+ <option>-keep-llvm-file</option>,
+ <option>-keep-llvm-files</option>
+ <indexterm><primary><option>-keep-llvm-file</option></primary></indexterm>
+ <indexterm><primary><option>-keep-llvm-files</option></primary></indexterm>
</term>
<listitem>
- <para>Keep intermediate <literal>.s</literal> files.</para>
+ <para>Keep intermediate <literal>.ll</literal> files when
+ doing <literal>.hs</literal>-to-<literal>.o</literal>
+ compilations via LLVM (NOTE: <literal>.ll</literal> files
+ aren't generated when using the native code generator, you
+ may need to use <option>-fllvm</option> to force them
+ to be produced).</para>
</listitem>
</varlistentry>
<varlistentry>
<term>
- <option>-keep-raw-s-file</option>,
- <option>-keep-raw-s-files</option>
- <indexterm><primary><option>-keep-raw-s-file</option></primary></indexterm>
- <indexterm><primary><option>-keep-raw-s-files</option></primary></indexterm>
+ <option>-keep-s-file</option>,
+ <option>-keep-s-files</option>
+ <indexterm><primary><option>-keep-s-file</option></primary></indexterm>
+ <indexterm><primary><option>-keep-s-files</option></primary></indexterm>
</term>
<listitem>
- <para>Keep intermediate <literal>.raw-s</literal> files.
- These are the direct output from the C compiler, before
- GHC does “assembly mangling” to produce the
- <literal>.s</literal> file. Again, these are not produced
- when using the native code generator.</para>
+ <para>Keep intermediate <literal>.s</literal> files.</para>
</listitem>
</varlistentry>
the same as the old one; this is friendly to
<command>make</command>. When an interface does change,
it is often enlightening to be informed. The
- <option>-ddump-hi-diffs</option> option will make GHC run
- <command>diff</command> on the old and new
- <filename>.hi</filename> files.</para>
+ <option>-ddump-hi-diffs</option> option will make GHC
+ report the differences between the old and
+ new <filename>.hi</filename> files.</para>
</listitem>
</varlistentry>
<literal>B</literal>, say) may conceivably not change
<filename>B.hi</filename> one jot. So now…</para>
- <para>GHC keeps a version number on each interface file, and on
- each type signature within the interface file. It also keeps in
- every interface file a list of the version numbers of everything
- it used when it last compiled the file. If the source file's
- modification date is earlier than the <filename>.o</filename>
- file's date (i.e. the source hasn't changed since the file was
- last compiled), and the recompilation checking is on, GHC will be
- clever. It compares the version numbers on the things it needs
- this time with the version numbers on the things it needed last
- time (gleaned from the interface file of the module being
- compiled); if they are all the same it stops compiling rather
- early in the process saying “Compilation IS NOT
- required”. What a beautiful sight!</para>
-
- <para>Patrick Sansom had a workshop paper about how all this is
- done (though the details have changed quite a bit). <ulink
- url="mailto:sansom@dcs.gla.ac.uk">Ask him</ulink> if you want a
- copy.</para>
+ <para>GHC calculates a fingerprint (in fact an MD5 hash) of each
+ interface file, and of each declaration within the interface
+ file. It also keeps in every interface file a list of the
+ fingerprints of everything it used when it last compiled the
+ file. If the source file's modification date is earlier than
+ the <filename>.o</filename> file's date (i.e. the source hasn't
+ changed since the file was last compiled), and the recompilation
+ checking is on, GHC will be clever. It compares the fingerprints
+ on the things it needs this time with the fingerprints
+ on the things it needed last time (gleaned from the
+ interface file of the module being compiled); if they are all
+ the same it stops compiling early in the process saying
+ “Compilation IS NOT required”. What a beautiful
+ sight!</para>
+
+ <para>You can read
+ about <ulink url="http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/RecompilationAvoidance">how
+ all this works</ulink> in the GHC commentary.</para>
</sect2>
<option>––include-pkg-deps</option> option below).</para>
<para>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
- <literal>-optdep</literal>. For example, to pass <literal>-f
- .depend</literal> to the dependency generator, you say
-
-<screen>
-ghc -M -optdep-f -optdep.depend ...
-</screen>
+ additional options, which you may find useful.
The options which affect dependency generation are:</para>
<term><option>-ddump-mod-cycles</option></term>
<listitem>
<para>Display a list of the cycles in the module graph. This is
- useful when trying to eliminate such cycles. You do not need the <literal>-optdep</literal> prefix
- for this flag.</para>
- </listitem>
- </varlistentry>
-
- <varlistentry>
- <term><option>-w</option></term>
- <listitem>
- <para>Turn off warnings about interface file shadowing.</para>
+ useful when trying to eliminate such cycles.</para>
</listitem>
</varlistentry>
</varlistentry>
<varlistentry>
- <term><option>-f</option> <replaceable>file</replaceable></term>
+ <term><option>-dep-makefile</option> <replaceable>file</replaceable></term>
<listitem>
<para>Use <replaceable>file</replaceable> as the makefile,
rather than <filename>makefile</filename> or
<filename>Makefile</filename>. If
<replaceable>file</replaceable> doesn't exist,
<command>mkdependHS</command> creates it. We often use
- <option>-f .depend</option> to put the dependencies in
+ <option>-dep-makefile .depend</option> to put the dependencies in
<filename>.depend</filename> and then
<command>include</command> the file
<filename>.depend</filename> into
</listitem>
</varlistentry>
-<!-- Retired with the move away from 'mkdependHS'.
<varlistentry>
- <term><option>-o <osuf></option></term>
- <listitem>
- <para>Use <filename>.<osuf></filename> as the
- "target file" suffix ( default: <literal>o</literal>).
- Multiple <option>-o</option> flags are permitted
- (GHC2.05 onwards). Thus "<option>-o hc -o o</option>"
- will generate dependencies for <filename>.hc</filename>
- and <filename>.o</filename> files.</para>
- </listitem>
- </varlistentry>
--->
- <varlistentry>
- <term><option>-s <suf></option></term>
+ <term><option>-dep-suffix <suf></option></term>
<listitem>
<para>Make extra dependencies that declare that files
with suffix
<filename>.<suf>_hi</filename>, or (for
<literal>{-# SOURCE #-}</literal>
imports) on <filename>.hi-boot</filename>. Multiple
- <option>-s</option> flags are permitted. For example,
- <option>-o hc -s a -s b</option> will make dependencies
- for <filename>.hc</filename> on
+ <option>-dep-suffix</option> flags are permitted. For example,
+ <option>-dep-suffix a -dep-suffix b</option>
+ will make dependencies
+ for <filename>.hs</filename> on
<filename>.hi</filename>,
- <filename>.a_hc</filename> on
+ <filename>.a_hs</filename> on
<filename>.a_hi</filename>, and
- <filename>.b_hc</filename> on
+ <filename>.b_hs</filename> on
<filename>.b_hi</filename>. (Useful in
conjunction with NoFib "ways".)</para>
</listitem>
</varlistentry>
<varlistentry>
- <term><option>-x</option></term>
- <listitem>
- <para>same as <option>––exclude-module</option></para>
- </listitem>
- </varlistentry>
-
-<!-- Not currently implemented:
- <varlistentry>
- <term><option>––exclude-directory=<dirs></option></term>
- <listitem>
- <para>Regard the colon-separated list of directories
- <filename><dirs></filename> as containing stable,
- don't generate any dependencies on modules
- therein.</para>
- </listitem>
- </varlistentry>
-
- <varlistentry>
- <term><option>––include-module=<file></option></term>
- <listitem>
- <para>Regard <filename><file></filename> as not
- "stable"; i.e., generate dependencies on it (if
- any). This option is normally used in conjunction with
- the <option>––exclude-directory</option> option.</para>
- </listitem>
- </varlistentry>
--->
-
- <varlistentry>
<term><option>––include-pkg-deps</option></term>
<listitem>
<para>Regard modules imported from packages as unstable,
<!-- Emacs stuff:
;;; Local Variables: ***
- ;;; mode: xml ***
;;; sgml-parent-document: ("users_guide.xml" "book" "chapter" "sect1") ***
;;; End: ***
-->