Installation of gcc Install gcc by running the following commands: PATH_HOLD=$PATH && export PATH=$PATH:/opt/gnat/bin && cd gcc/ada && touch treeprs.ads [es]info.h nmake.ad[bs] && cd ../.. && mkdir ../gcc-build && cd ../gcc-build && ../gcc-&gcc-version;/configure --prefix=/usr --enable-shared \ --enable-languages=c,c++,objc,f77,ada,java --enable-threads=posix \ --enable-__cxa_atexit --enable-clocale=gnu && make bootstrap && make -C gcc gnatlib_and_tools && make install-no-fixedincludes && export PATH=$PATH_HOLD You may remove the gnat installation: rm -rf /opt/gnat