On Tue, Jan 15, 2019 at 12:07:53AM +0100, Jakub Jelinek wrote: > On Sat, Jan 12, 2019 at 06:35:20PM +0000, Paul Richard Thomas wrote: > > Done as revision 267884. > > Where is that header installed BTW? > Would be best if it got installed in directories like: > $prefix/lib/gcc/$target/$version/include >
I have it in ${HOME}/work/x/lib/gcc/x86_64-unknown-freebsd13.0/9.0.0/include where my $prefix is ${HOME}/work/x. So, this seems to match your "best" suggestion. -- Steve