-
Notifications
You must be signed in to change notification settings - Fork 851
hrw4u: Allows bulk compilation of many files (faster) #12865
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: master
Are you sure you want to change the base?
Conversation
72029cf to
34d68f4
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Pull request overview
Adds a shared CLI entrypoint for hrw4u/u4wrh that supports compiling many files in a single Python invocation, including a bulk input:output pair mode, and documents the new usage.
Changes:
- Introduce
run_main()intools/hrw4u/src/common.pyto handle single-file, multi-file, andinput:outputbulk compilation flows. - Update
scripts/hrw4uandscripts/u4wrhto userun_main()instead of duplicating CLI parsing logic. - Document bulk compilation usage; add a test utility helper for bulk runs.
Reviewed changes
Copilot reviewed 5 out of 5 changed files in this pull request and generated 5 comments.
Show a summary per file
| File | Description |
|---|---|
| tools/hrw4u/tests/utils.py | Adds run_bulk_test() helper to validate bulk input:output compilation via subprocess. |
| tools/hrw4u/src/common.py | Adds run_main() implementing bulk compilation/multi-file CLI behavior shared by hrw4u and u4wrh. |
| tools/hrw4u/scripts/u4wrh | Switches script entrypoint to run_main(). |
| tools/hrw4u/scripts/hrw4u | Switches script entrypoint to run_main(). |
| doc/admin-guide/configuration/hrw4u.en.rst | Updates documentation with basic, multi-file, and bulk input:output usage examples. |
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
|
I addressed CoPilot's suggestions. |
No major changes here, just a way to rescript input:output pairs for bulk loading, since Python is slow at startup.