diff -r 95b77e842db3 -r 6b15a094d996 configure
--- 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 "