build: fetch rg for Codex packages

This commit is contained in:
Michael Bolin
2026-05-19 12:54:33 -07:00
parent 164fbc8b09
commit c7c144e5c0
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.