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