Linux uses the Gnu C compiler and utilities

Check what version of the C++ compiler you have (gcc -v), if it
is 2.5.? link gnu25.cfg to linux.cfg. If it 2.6.? link gnu26.cfg to
linux.cfg. 

Don't use gcc25.cfg, this is for Unix systems with the gnu compiler but
not the gnu binutils.

Warning!! 

Version 2.6.1 and 2.6.2 have a bug that makes them unsuitable for
Eon/Eiffel. Don't use them. If you have upgraded already but still
have the old version in /usr/local/lib modify these lines in your C 
compiler:

C compiler = gcc -V 2.6.0
C++ compiler = gcc -V 2.6.0

but, of course, substitute whatever version you have for 2.6.0.
