Installation with Linux

apt-get install libgtk2.0-dev
apt-get install libxtst-dev

mkd /Eiffel
cd Eiffel
tar -xvjf Eiffel_xxx.tar.bz2

echo ISE EIFFEL=/eiffel/Eiffel62 >> /etc/environment
echo ISE PLATFORM=linux-x86 >> /etc/environment
echo PATH=$PATH:$ISE EIFFEL/studio/spec/$ISE PLATFORM/bin >> /etc/environment
echo source /etc/environment >> /etc/profile

-> restart linux!!!

/Eiffel62/make_install