diff options
author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-06-13 13:06:52 +0200 |
---|---|---|
committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-06-13 14:19:18 +0200 |
commit | 820a57076182847770a1a3e8c5c71810b50c93a8 (patch) | |
tree | b675788f5c6e1500122a06a1766dd57e0f7d1c38 /CHANGELOG.md | |
parent | 4b40928323cb79aa8d68c5073125dd887c372b7a (diff) | |
download | justbuild-820a57076182847770a1a3e8c5c71810b50c93a8.tar.gz |
Update bootstrapping documentation
... mentioning that now etc/repos.in.json is used for bootstrapping.
This is relevant for both, determining the precise list of dependencies
needed as well as for patching the repository configuration, e.g.,
in a package build.
Diffstat (limited to 'CHANGELOG.md')
-rw-r--r-- | CHANGELOG.md | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/CHANGELOG.md b/CHANGELOG.md index fe4c40c6..08a3ae98 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -42,6 +42,18 @@ A feature release on top of `1.5.0`, backwards compatible. distinguished as requested by the remote-execution protocol. - Various improvements of the documentation. +### Note for package maintainers + +Any patching that used to patch `etc/repos.json` should now patch +`etc/repos.in.json`. Background: to allow linting with well-defined +dependencies, for the newly-added `"lint"` repository additional +dependencies are pulled in via `just-lock` to bootstrap the correct +versions of those tools; the local, manually-edited repository +configuration `etc/repos.in.json` still contains everything needed +for building and testing. So, to avoid accidentally trying to fetch +more than is absolutely needed, `bin/bootstrap.py` was changed to +use the original, manually-maintained `etc/repos.in.json`. + ## Release `1.5.0` (2025-03-06) A feature release on top of `1.4.0`, backwards compatible. |