HOW TO specify GCC binary in configure script

Ubuntu installs gcc 4.2 as gcc-4.2 binary. To tell configure to use gcc-4.2 instead of gcc we use the following parameter

./configure CC=gcc-4.2