build: fetch rg for Codex packages

This commit is contained in:
Michael Bolin
2026-05-19 12:55:13 -07:00
parent 7f4d7ae3a4
commit 68c06d1c24
4 changed files with 213 additions and 29 deletions
+5 -3
View File
@@ -34,6 +34,8 @@ one grouped `cargo build` command per package:
The default cargo profile is `dev-small` because local iteration should favor
fast, small builds. Release jobs should pass `--cargo-profile release`.
`rg` is not built from this repository, so it remains an input. If `--rg-bin` is
omitted, the builder looks in the existing `codex-cli/vendor/<target>/path/`
location.
`rg` is not built from this repository, so the builder fetches it from the
DotSlash manifest at `codex-cli/bin/rg`. Downloaded archives are cached under
`$TMPDIR/codex-package/<target>-rg` and are reused only after the recorded size
and SHA-256 digest have been verified. Pass `--rg-bin` to use a local ripgrep
executable instead.