Makefile.include: only warn if not curl, wget, unzip, 7z#16784
Makefile.include: only warn if not curl, wget, unzip, 7z#16784miri64 merged 1 commit intoRIOT-OS:masterfrom
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 |
chrysn
left a comment
There was a problem hiding this comment.
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.includeerrors 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