Make boot handle getting the libraries

[ghc-hetmet.git] / README

diff --git a/README b/README
index 3a87322..25122a8 100644 (file)
--- a/README
+++ b/README
@@ -49,13 +49,13 @@ There are two ways to get a source tree:
   to get the other repositories:
 
      $ cd ghc
   to get the other repositories:
 
      $ cd ghc

-     $ chmod +x boot
-     $ ./boot
+     $ chmod +x darcs-all
+     $ ./darcs-all get

 
   This grabs the "core" packages by default.  To get the full set of
   packages, instead say
 
 
   This grabs the "core" packages by default.  To get the full set of
   packages, instead say
 

-     $ ./boot --extra
+     $ ./darcs-all --extra get

 
   This also downloads the libraries that are normally bundled in the
   "extralibs" package (see above).
 
   This also downloads the libraries that are normally bundled in the
   "extralibs" package (see above).

@@ -76,10 +76,15 @@ XML toolchain if you want to build the compiler documentation.
 
 Quick start:  the following gives you a default build:
 
 
 Quick start:  the following gives you a default build:
 

+       $ sh boot

        $ ./configure
        $ make
        $ make install
 
        $ ./configure
        $ make
        $ make install
 

+The "sh boot" step is only necessary if this is a tree checked out
+from darcs.  For source distributions downloaded from GHC's web site,
+this step has already been performed.
+

 These steps give you the default build, which includes everything
 optimised and built in various ways (eg. profiling libs are built).
 It can take a long time.  To customise the build, see the file
 These steps give you the default build, which includes everything
 optimised and built in various ways (eg. profiling libs are built).
 It can take a long time.  To customise the build, see the file