This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH][Ada] Add option to gnatlink to fix gnat.dg on some platforms
> > Wouldn't it be possible to e.g. use --GCC="... -mips32" or whatever
> > option is needed here?
>
> Unless we want to duplicate all the switch processing done by gnatlink I
> don't see any other way.
>
> > If this does not work, it might be a better approach to enhance --GCC
> > rather than introducing --XCC IMO, in particular for a need internal to
> > the GCC tree, and not useful to end users.
>
> What is your proposal here?
The generate --GCC="... -mips32" when needed.
> What we want if a way to turn off the following behaviour:
>
> "If the compiler executable is different from the default one (gcc or
> <prefix>-gcc), then the back-end switches in the ALI file are not used
> to compile the binder generated source."
Actually that's not what we want: what we want is to have --GCC be
smarter and recognize that the compiler specified is "gcc" or "another
non GCC compiler", which would also solve this issue.
Arno