diff options
Diffstat (limited to 'INSTALL.md')
| -rw-r--r-- | INSTALL.md | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/INSTALL.md b/INSTALL.md index 08b7048cc1..88d433ecc7 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -18,7 +18,7 @@ XeLaTex (only for PDF output). Quick start: the following gives you a default build: - $ python3 boot + $ ./boot $ ./configure $ make $ make install @@ -31,7 +31,7 @@ Quick start: the following gives you a default build: You can use Make's `-jN` option to parallelize the build. It's generally best to set `N` somewhere around the core count of the build machine. -The `python3 boot` step is only necessary if this is a tree checked out from +The `./boot` step is only necessary if this is a tree checked out from git. For source distributions downloaded from GHC's web site, this step has already been performed. @@ -43,6 +43,6 @@ It can take a long time. To customise the build, see the file References ========== - [1] http://www.haskell.org/ghc/ - [2] https://gitlab.haskell.org/ghc/ghc/wikis/building/preparation - [3] http://www.haskell.org/haddock/ + - [1] http://www.haskell.org/ghc/ + - [2] https://gitlab.haskell.org/ghc/ghc/wikis/building/preparation + - [3] http://www.haskell.org/haddock/ |