From: Denis Bodor <dbodor@lefinnois.net>
Subject: devel/arm-none-eabi/gcc and libstdc++
To: ports@openbsd.org
Date: Sun, 25 Aug 2024 16:52:37 +0200

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