summaryrefslogtreecommitdiff
path: root/INSTALL.md
diff options
context:
space:
mode:
authorKlaus Aehlig <klaus.aehlig@huawei.com>2022-11-02 16:49:02 +0100
committerKlaus Aehlig <klaus.aehlig@huawei.com>2022-11-02 16:49:17 +0100
commit665bb17ca58ef90ae5c830c49f832e2b1123f255 (patch)
tree8c0cc5cb699a7b1ad581ec5d831374ef97df171c /INSTALL.md
parentf9318b8029d427fa852e6169e9e2259b7ecf4071 (diff)
downloadjustbuild-665bb17ca58ef90ae5c830c49f832e2b1123f255.tar.gz
INSTALL: also mention how to install just-mr
... as this tool is usally used in conjunction with just; in particular, our tutorial assumes just-mr to be present.
Diffstat (limited to 'INSTALL.md')
-rw-r--r--INSTALL.md8
1 files changed, 8 insertions, 0 deletions
diff --git a/INSTALL.md b/INSTALL.md
index 546c8b64..b11869d3 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -113,3 +113,11 @@ almost certainly want to set the scratch directory.
```sh
env PACKAGE=YES LOCALBASE=/usr python3 ${WRKSRC}/bin/bootstrap.py ${WRKSRC} ${WRKDIR}/just-work
```
+
+# Installing `just-mr`
+
+In order to set up multi-repository configurations, usually the tools `just-mr`
+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 appropirate location in `PATH`.