Hi, I'm trying to use version 2.0 of the Raspberry Pi Pico SDK but building firmware now requires libstdc++ (because of pico-sdk/src/rp2_common/pico_cxx_options/new_delete.cpp).
The current version of devel/arm-none-eabi/gcc does not install libstdc++.a or the header files, so it is no longer possible to compile for the Pico board. The solution I've found is to add these two lines to the Makefile: ALL_TARGET= all-gcc all-target-libgcc all-target-libstdc++-v3 INSTALL_TARGET= install-gcc install-target-libgcc install-target-libstdc++-v3 I'm not sure this is the right way to go, even if it does solve the problem. What do you think? -- Denis