Make использует некоторые стандартные переменные, чтобы определить, какие инструменты использовать, переменная C-компилятора называется «CC». Вы можете установить переменную CC прямо в вашем Makefile
CC=/opt/gcc-4.0.1/bin/gcc
, что хорошо, если вы работаете в одиночку, или у всех одинаковые настройки. Или вы можете передать его в командной строке следующим образом:
make CC=/opt/gcc-4.0.1/bin/gcc
третий параметр установлен /opt/gcc-4.0.1/bin, прежде чем все остальное в вашем пути (поэтому он не работает для вас, текущий каталог не в пути, поэтому символическая ссылка ставить туда не будем при поиске)
export PATH=/opt/gcc-4.0.1/bin:$PATH
Для полноты, в вашем решении символической ссылки вам нужно будет вызвать ./gcc
, чтобы получить правильный экземпляр gcc, но ИМХО это, вероятно, не лучшее решение.
НТН