From: simonmar <unknown>
Date: Mon, 22 Oct 2001 10:48:33 +0000 (+0000)
Subject: [project @ 2001-10-22 10:48:33 by simonmar]
X-Git-Tag: Approximately_9120_patches~765
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=0cce925f92d4bdd742073445e26da5378da4bf49;hp=d45e90d32431680206dcb51e0e055679b3d0745c;p=ghc-hetmet.git

[project @ 2001-10-22 10:48:33 by simonmar]
Describe how to use path searching in GHCi.
---

diff --git a/ghc/docs/users_guide/ghci.sgml b/ghc/docs/users_guide/ghci.sgml
index 3e900c4..f8f5bbd 100644
--- a/ghc/docs/users_guide/ghci.sgml
+++ b/ghc/docs/users_guide/ghci.sgml
@@ -150,6 +150,21 @@ Main> fac 17
       in the same directory and you can't call them all
       <filename>Main.hs</filename>.</para>
 
+      <para>The search path for finding source files is specified with
+      the <option>-i</option> option on the GHCi command line, like
+      so:</para>
+<screen>ghci -i<replaceable>dir<subscript>1</subscript></replaceable>:...:<replaceable>dir<subscript>n</subscript></replaceable></screen>
+
+      <para>or it can be set using the <literal>:set</literal> command
+      from within GHCi (see <xref
+      linkend="ghci-cmd-line-options">)<footnote><para>Note that in
+      GHCi, and <option>--make</option> mode, the <option>-i</option>
+      option is used to specify the search path for
+      <emphasis>source</emphasis> files, whereas in standard
+      batch-compilation mode the <option>-i</option> option is used to
+      specify the search path for interface files, see <xref
+      linkend="options-finding-imports">.</para> </footnote></para>
+
       <para>One consequence of the way that GHCi follows dependencies
       to find modules to load is that every module must have a source
       file.  The only exception to the rule is modules that come from
@@ -942,7 +957,7 @@ Prelude> :def make (\_ -> return ":! ghc --make Main")
       </variablelist>
     </sect2>
 
-    <sect2>
+    <sect2 id="ghci-cmd-line-options">
       <title>Setting GHC command-line options in GHCi</title>
 
       <para>Normal GHC command-line options may also be set using