diff src/config.sig @ 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 969b90b1f2f9
children b5517f47b1f1
line wrap: on
line diff
--- a/src/config.sig	Wed Jun 15 09:52:06 2011 -0400
+++ b/src/config.sig	Fri Jun 17 11:52:56 2011 -0400
@@ -8,6 +8,7 @@
     val libC : string
     val libJs : string
 
+    val ccompiler : string
     val gccArgs : string
     val openssl : string