diff src/compiler.sml @ 1474:3d0cc841cafd

Fixes to work nicely with OS X and Clang (thanks to Austin Seipp)
author Adam Chlipala <adam@chlipala.net>
date Fri, 17 Jun 2011 11:52:56 -0400
parents d40066b38710
children a10d080123ec
line wrap: on
line diff
--- a/src/compiler.sml	Wed Jun 15 09:52:06 2011 -0400
+++ b/src/compiler.sml	Fri Jun 17 11:52:56 2011 -0400
@@ -1318,11 +1318,11 @@
                   else
                       "-L" ^ Config.lib ^ "/.. -lurweb " ^ #linkDynamic proto
 
-        val compile = "gcc " ^ Config.gccArgs ^ " -Wimplicit -Werror -O3 -fno-inline -I " ^ Config.includ
+        val compile = Config.ccompiler ^ " " ^ Config.gccArgs ^ " -Wimplicit -Werror -O3 -fno-inline -I " ^ Config.includ
                       ^ " " ^ #compile proto
                       ^ " -c " ^ escapeFilename cname ^ " -o " ^ escapeFilename oname
 
-        val link = "gcc -Werror -O3 -lm -pthread " ^ Config.gccArgs ^ " " ^ lib ^ " " ^ Config.openssl ^ " " ^ escapeFilename oname
+        val link = Config.ccompiler ^ " -Werror -O3 -lm -pthread " ^ Config.gccArgs ^ " " ^ lib ^ " " ^ Config.openssl ^ " " ^ escapeFilename oname
                    ^ " -o " ^ escapeFilename ename ^ " " ^ libs
 
         val (compile, link) =