diff src/compiler.sig @ 432:5de838fb0950

Avoid using libpq when unneeded
author Adam Chlipala <adamc@hcoop.net>
date Sun, 26 Oct 2008 08:41:17 -0400
parents 1195f6e4d208
children bd9ee9aeca2f
line wrap: on
line diff
--- a/src/compiler.sig	Sat Oct 25 18:58:45 2008 -0400
+++ b/src/compiler.sig	Sun Oct 26 08:41:17 2008 -0400
@@ -38,7 +38,7 @@
          debug : bool
     }
     val compile : string -> unit
-    val compileC : {cname : string, oname : string, ename : string} -> unit
+    val compileC : {cname : string, oname : string, ename : string, libs : string} -> unit
 
     type ('src, 'dst) phase
     type ('src, 'dst) transform