-
Notifications
You must be signed in to change notification settings - Fork 2k
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
Makefile.include: only warn if not curl, wget, unzip, 7z #16784
Makefile.include: only warn if not curl, wget, unzip, 7z #16784
Conversation
The following tools are not needed for every build, its only needed for a couple of packages like c25519, since most are fetched with git.
0392dff
to
fee3169
Compare
Just to check for use cases: has anyone ever encountered a RIOT-usable system with no curl or wget and no unzipper?
(I've only ever seen these errors when which or command is broken).
|
I've had them when using minimal Docker images for building specific applications, or for flashing. e.g.: flashing with openocd, I'm forced to inlcude wget and unzip in the image just because of this. |
Another question to understand the patch: Why run through the bespoke |
Just that since this is actually rarely used using memoized saves up on a |
Its a bit explained here https://doc.riot-os.org/build-system-basics.html#variable-declaration-guidelines, but its basically that all |
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.
Thanks for the pointer, and sorry for the delay. Builds pass, and not erring out needlessly on slim systems is a good thing.
Contribution description
Currently
Makefile.include
errors if these tools are absent, but they are actually rarely used, so as all other tools used by only some packages don't error, but keep the warning.It also uses memoized do not call the shell functions if not needed, but still works if they are required:
Testing procedure
Issues/PRs references
Follow up to #16776