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 [EMAIL PROTECTED] Lackorzynski http://os.inf.tu-dresden.de/~adam/ _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
