On 20 déc. 07, at 20:20, Barry McInnes wrote: > gcc42 installs for me, but gcc40 does not. Is there a way to force the > build of stellarium and others, to use gcc42 instead of the default > gcc40 ? >> gcc_select ? Ludo