diff options
Diffstat (limited to 'INSTALL.md')
| -rw-r--r-- | INSTALL.md | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/INSTALL.md b/INSTALL.md index 3ae9186874..42bbc1e63d 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: - $ perl boot + $ python3 boot $ ./configure $ make $ make install @@ -31,9 +31,9 @@ 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 `perl 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. +The `python3 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. These steps give you the default build, which includes everything optimised and built in various ways (eg. profiling libs are built). |