Setting GCC version to 3.3

[Michael Williams]

On 12 Mar 2006, at 23:31, Michael R. Head wrote:
> On Sun, 2006-03-12 at 21:01 +0000, Michael Williams wrote:
>> On 12 Mar 2006, at 20:36, Thomas Kaiser wrote:
>>> If you want to build with a different compiler use 'export
>>> CC=gcc-3.3' before you start make.
>>
>> On 12 Mar 2006, at 20:37, Matthias Klose wrote:
>>> use CC=gcc-3.3 CXX=g++-3.3 F77=g77-3.3 ./configure ...
>>
>> Thanks very much for helping.
>>
>> However, I should have said that I'm not using ./configure && make,
>> but actually building stuff manually, as in g++ -o prog 1.cc 2.cc -
>> lm, etc. so that solution won't work for my purposes.
>
> Then simply call g++-3.3 instead of g++!

That's currently what I'm doing, in the form of grepping through the  
systems build scripts (which are not makefiles, sadly) and replacing  
all instances of g++ with g++-3.3. It seems that, since there is no  
safe way to change /usr/bin/gcc from 4.0 to 3.3, that will have to do.

-- Mike