On Sat, Jun 01, 2024 at 09:21:53AM +0100, Jonathan Wakely wrote:
> On Fri, 31 May 2024 at 18:43, Alexandre Oliva <ol...@adacore.com> wrote:
> >
> > On May 31, 2024, Alexandre Oliva <ol...@adacore.com> wrote:
> >
> > >> So either don't change this line at all, or just do a simple
> > >> s/__clang__/_GLIBCXX_CLANG/
> >
> > > If c++config can be counted on, I'd be happy to do that, but I couldn't
> > > tell that it could.
> >
> > Here's what I've retested on x86_64-linux-gnu and, slightly adjusted for
> > gcc-13, on arm-vx7r2. Ok to install?
>
> OK
>
> If there's any chance of getting the vxworks system headers fixed to
> work with GCC properly, that would be nice.
Fixincludes?
That seems like the standard way to workaround bugs in system headers on
proprietary targets.
Jakub
