using patched gcc toolchain

Emanuel Thomas s1596862 at
Tue Jul 5 20:03:41 CEST 2005

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.

More information about the l4-hackers mailing list