Mercurial > urweb
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