makefile/..picolibc: make missing picolibc fail louder#16008
makefile/..picolibc: make missing picolibc fail louder#16008benpicco merged 2 commits intoRIOT-OS:masterfrom
Conversation
|
Maybe a more concrete help message? In the end, it comes down to these choices:
|
|
I am all in for improvements to the wording of the message. The current message is short and technical but maybe less helpful. But the preference may have been done at so many places that i wasn't sure how to word an instant help like remove 'Feature_Optional += picolib ' from every module in use or Force newlib by using Feature Required adding installing picolibc is impossible for Ubuntu LTS (20.04) (the reason why i had to dist-upgrade the other day since i wanted to check my other PR) adding but you get an really beautyfull warning message from #15973 (not realy but ii dont know better): |
|
An alternative approach would be to go for |
|
i knew i saw some PR by you regarding that dependency issue |
|
I will add that suggestion to the PR |
ebef4b2 to
b9226d5
Compare
|
added sugestions and rebased on current master to make them work as expected. current warning words are: i think this is ready for ci |
b9226d5 to
b0e3d08
Compare
b0e3d08 to
f7a8e08
Compare
|
I force pushed some "c"s to the picolibc |
Contribution description
missing picolibc auto adaptation needs changes in make-system and is therefor on hold this PR make the build fail early and loud and needs basically no modification of unrelated make-system parts.
Testing procedure
Build something that prefers or requires picolibc on a system that does not have it (installed) (e.g.: current Ubuntu LTS 20.04)
e.g.: RIOT/examples/gnrc_minimal for a cortex-m Board
before u get a failure somthing like:
somewhere in the build process
after the patch you get:
right at the start
Issues/PRs references
PR.: to fix the selection process (need make-system reordering): #15993
Issue about failed selection process: #15325
Issue about the criticality of order of inclusion: #9913
@maribu, @fjmolinas might want to have a look at this