--- a/configure Mon Sep 09 12:15:54 2013 +0200 +++ b/configure Mon Oct 14 13:36:28 2013 +0200 @@ -54,18 +54,22 @@ # platform if [ $OS = SunOS ]; then -CCONF=suncc.mk -PLATFORM=solaris.mk + CCONF=suncc.mk + PLATFORM=solaris.mk fi if [ $OS = Linux ]; then -CCONF=gcc.mk -PLATFORM=linux.mk + if `type clang > /dev/null`; then + CCONF=clang.mk + else + CCONF=gcc.mk + fi + PLATFORM=linux.mk fi if [ $OS = Darwin ]; then -CCONF=clang.mk -PLATFORM=osx.mk + CCONF=clang.mk + PLATFORM=osx.mk fi echo "