using patched gcc toolchain
Adam Lackorzynski
adam at os.inf.tu-dresden.de
Tue Jul 5 21:37:54 CEST 2005
On Tue Jul 05, 2005 at 20:03:41 +0200, Emanuel Thomas wrote:
> Adam Lackorzynski wrote on 05/07/05 19:43:
> > On Tue Jul 05, 2005 at 19:38:19 +0200, Emanuel Thomas wrote:
> >>I want to use a patched gcc toolchain, but i'm going to have problems.
> >>Is there a global configuration file where I can (easily) which gcc (and
> >>other tools) should be used?
> >>Even "make confg" seems to use the standard gcc. Where can I change that?
> >
> > Doing "make config" in the l4 directory gives you the possibility to
> > configured the compilers under "Compilers and Tools". If that's not
> > enough for your setup, prepend an additional entry in your PATH
> > environment variable.
>
> But doing so, some system libraries are used.
Which libraries do you mean?
Looks like you want to replace more than just gcc?
Adam
--
Adam adam at os.inf.tu-dresden.de
Lackorzynski http://os.inf.tu-dresden.de/~adam/
More information about the l4-hackers
mailing list