L4/Fiasco.OC & gcc-4.7

Adam Lackorzynski adam at os.inf.tu-dresden.de
Mon Oct 14 00:05:20 CEST 2013

On Sun Oct 13, 2013 at 16:23:39 +0200, Daniel Müller wrote:
> Is there a way to change the default gcc and g++ to use when bulding
> L4 (this way I could at least have my host system use the new gcc
> while compiling L4 with the older version)? I've seen the config
> options for Fiasco but this is not sufficient.

Put a Makeconf.local in the root directory of the build tree:
CC=gcc-... -m..
CXX=g++-... -m..

Did that happen when you rebuilt L4Re or Fiasco, or both?
To which version of gcc-4.7 were you upgrading, i.e. which distribution
and version?
And, is that always reproducable? (Could I reproduce that?)

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list