Re: host-x86_64-pc-linux-gnu/gcc/xgcc: No such file or directory

[Jonny Grant <jg@jguk.org>]

On 04/12/2023 10:44, Jonathan Wakely wrote:
> 
> 
> On Mon, 4 Dec 2023, 04:38 Xi Ruoyao, <xry111@xry111.site> wrote:
> 
>     On Mon, 2023-12-04 at 00:34 +0000, Jonny Grant wrote:
>     > Is it this page?
>     >
>     > https://gcc.gnu.org/install/configure.html <https://gcc.gnu.org/install/configure.html>
>     >
>     > How about changing this line to clarify make just say building within the src tree does not work, and is unsupported?
>     >
>     > Change from:
>     > "First, we highly recommend that GCC be built into a separate directory"
>     >
>     > To:
>     > "First, we only support building GCC from a separate directory"
> 
>     This paragraph has been updated to:
> 
>     First, we highly recommend that GCC be built into a separate directory
>     from the sources which does not reside within the source tree. This is
>     how we generally build GCC; building where objdir is a subdirectory of
>     srcdir should work as well; building where objdir == srcdir is
>     unsupported.
> 
>     Richard told me using a new subdirectory in srcdir as objdir works fine
>     and *is* supported (i. e. if it somehow stops to work we'll fix).  But
>     objdir == srcdir has been broken for a long time and there is no
>     intention to make it "work".
> 
>     The FAQ is a different page: https://gcc.gnu.org/wiki/FAQ#configure <https://gcc.gnu.org/wiki/FAQ#configure>
> 
> 
> i.e. the link I sent in my first reply.
> 

Thank you and Xi for the link again.


I signed up for a wiki account, but I can't see an "edit" button - is there a step I need to follow? Wanted to make a spelling correction on that page "hellgrind".

I saw a spelling mistake on another page too.

Kind regards, Jonny