Skip to content

Skip download-binaries if set SHERPA_LIB_PATH env#121

Open
BenLocal wants to merge 1 commit into
thewh1teagle:mainfrom
BenLocal:env
Open

Skip download-binaries if set SHERPA_LIB_PATH env#121
BenLocal wants to merge 1 commit into
thewh1teagle:mainfrom
BenLocal:env

Conversation

@BenLocal
Copy link
Copy Markdown
Contributor

@BenLocal BenLocal commented Nov 3, 2025

Refactor binary download logic in build.rs to check for existing SHERPA_LIB_PATH before downloading. This change ensures that libraries are only fetched if the environment variable is not set, improving efficiency and preventing unnecessary downloads. Additionally, fallback handling for manual builds is maintained.

…PA_LIB_PATH before downloading. This change ensures that libraries are only fetched if the environment variable is not set, improving efficiency and preventing unnecessary downloads. Additionally, fallback handling for manual builds is maintained.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant