summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatthew Pickering <matthewtpickering@gmail.com>2023-01-23 08:44:42 +0000
committerMarge Bot <ben+marge-bot@smart-cactus.org>2023-01-25 03:54:14 -0500
commit3097282777a28770f0d597355e33b45d2f11e1d4 (patch)
treebabff81dd75d486cdf613b4a63160ff6362197f3
parent1957eda1b25735b143899add93a4cd4f0af3b2ea (diff)
downloadhaskell-3097282777a28770f0d597355e33b45d2f11e1d4.tar.gz
docs: Update INSTALL.md
Removes references to make. Fixes #22480
-rw-r--r--INSTALL.md5
1 files changed, 2 insertions, 3 deletions
diff --git a/INSTALL.md b/INSTALL.md
index 88d433ecc7..45fe5427b0 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -20,15 +20,14 @@ Quick start: the following gives you a default build:
$ ./boot
$ ./configure
- $ make
- $ make install
+ $ ./hadrian/build
On Windows, you need an extra repository containing some build tools.
These can be downloaded for you by configure. This only needs to be done once by running:
$ ./configure --enable-tarballs-autodownload
-You can use Make's `-jN` option to parallelize the build. It's generally best
+You can use `-jN` option to parallelize the build. It's generally best
to set `N` somewhere around the core count of the build machine.
The `./boot` step is only necessary if this is a tree checked out from