fi
}
+##
+# function: workaround on some platforms to use latest available version of gcc (e.g. gcc44 on CentOS 5.5)
+##
+use_latest_gcc(){
+ local gcc_min=$1
+ local gcc_ver=`gcc -dumpversion | awk -F. '{a1=0;a2=0;a3=0;if(NF>0)a1=$1;if(NF>1)a2=$2;if(NF>2)a3=$3;printf("%02d%02d%02d",a1,a2,a3);}'`
+ local gcc_found
+ local gxx_found
+ if [ ${gcc_ver} -le ${gcc_min} ] ; then
+ local wheregcc=$(dirname `which gcc`)
+ local all_gcc=$(find ${wheregcc}/gcc*)
+ local gcc_alt
+ local gcc_max=0
+ for gcc_alt in ${all_gcc} XXX ; do
+ if [ ${gcc_alt} = "XXX" ] ; then continue ; fi
+ gcc_ver=`${gcc_alt} -dumpversion 2>/dev/null | awk -F. '{a1=0;a2=0;a3=0;if(NF>0)a1=$1;if(NF>1)a2=$2;if(NF>2)a3=$3;printf("%02d%02d%02d",a1,a2,a3);}'`
+ if [ "${gcc_ver}" = "" ] ; then continue ; fi
+ if [ ${gcc_ver} -gt ${gcc_min} ] && [ ${gcc_ver} -gt ${gcc_max} ] ; then
+ gcc_max=${gcc_ver}
+ gcc_found=${gcc_alt}
+ gxx_found=`echo ${gcc_found} | sed -e "s%gcc%g++%"`
+ fi
+ done
+ if [ "${gcc_found}" != "" ] ; then
+ echo "CC=${gcc_found} CXX=${gxx_found}"
+ fi
+ fi
+}
+
modif_la_files(){
return 0
# obsolete