using patched gcc toolchain
s1596862 at inf.tu-dresden.de
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