mirror of
https://github.com/openai/codex.git
synced 2026-05-23 20:44:50 +00:00
a0f52a24c8
Summary: - move the shared DotSlash archive download/cache/verify logic into scripts/codex_package/dotslash.py - update ripgrep packaging to use the shared helper while preserving existing cache keys and validation behavior Test Plan: - python3 -m py_compile scripts/codex_package/dotslash.py scripts/codex_package/ripgrep.py - python3 -m unittest discover scripts/codex_package
37 lines
970 B
Python
37 lines
970 B
Python
"""Fetch ripgrep from the DotSlash manifest used by the package builder."""
|
|
|
|
from pathlib import Path
|
|
|
|
from .dotslash import fetch_dotslash_executable
|
|
from .targets import REPO_ROOT
|
|
from .targets import TargetSpec
|
|
from .targets import resolve_input_path
|
|
|
|
|
|
RG_MANIFEST = REPO_ROOT / "scripts" / "codex_package" / "rg"
|
|
|
|
|
|
def resolve_rg_bin(spec: TargetSpec, rg_bin: Path | None) -> Path:
|
|
if rg_bin is not None:
|
|
return resolve_input_path(rg_bin, "ripgrep executable", "--rg-bin")
|
|
|
|
return fetch_rg(spec)
|
|
|
|
|
|
def fetch_rg(
|
|
spec: TargetSpec,
|
|
*,
|
|
manifest_path: Path = RG_MANIFEST,
|
|
) -> Path:
|
|
rg_bin = fetch_dotslash_executable(
|
|
spec,
|
|
manifest_path=manifest_path,
|
|
artifact_label="ripgrep",
|
|
cache_key=f"{spec.target}-rg",
|
|
dest_name=spec.rg_name,
|
|
executable=not spec.is_windows,
|
|
)
|
|
if rg_bin is None:
|
|
raise AssertionError("ripgrep is required for all package targets")
|
|
return rg_bin
|