From 728f9e810ed3b49a73243b6002e1117a86bad437 Mon Sep 17 00:00:00 2001 From: Klaus Aehlig Date: Wed, 19 Apr 2023 11:36:34 +0200 Subject: Install instruction: mention the preferred just-mr --- INSTALL.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/INSTALL.md b/INSTALL.md index 70b20f09..d8f10593 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -72,6 +72,7 @@ before to be present as well). this directory and has the expected blob id (computed the same way as `git` does). Only if this is not the case, fetching from the network is attempted. + Additionally, if the environment variable `DEBUG` is set, the second bootstrap phase is carried out sequentially rather than in parallel. @@ -131,3 +132,8 @@ is used. It also a useful launcher for `just`. This tool is Python3 script located at `bin/just-mr.py` and can simply be put into an appropriate location in `PATH`. + +There is also a compiled version of `just-mr`, which is faster, +works in parallel, and has additional features. It can be obtained +by building the target `["", "installed just-mr"]` using the +bootstrapped `just` and the Python3 script `bin/just-mr.py`. -- cgit v1.2.3