diff options
-rw-r--r-- | docs/building/building.xml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/building/building.xml b/docs/building/building.xml index d654818d4e..3bfe2941f9 100644 --- a/docs/building/building.xml +++ b/docs/building/building.xml @@ -3840,8 +3840,10 @@ $ make boot stage=2 && make stage=2</screen> </listitem> <listitem> -<screen>$ cd <replaceable>H</replaceable>/ghc/lib +<screen>$ cd <replaceable>H</replaceable>/ghc/lib/compat $ make clean +$ rm .depend +$ make boot UseStage1=YES $ make -k UseStage1=YES EXTRA_HC_OPTS='-O -fvia-C -keep-hc-files' $ cd <replaceable>H</replaceable>/ghc/utils $ make clean |