Mercurial > urweb
diff src/demo.sml @ 764:7f653298dd66
C FFI compiler options
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 30 Apr 2009 17:15:14 -0400 |
parents | a8effb6159c2 |
children | a28982de5645 |
line wrap: on
line diff
--- a/src/demo.sml Thu Apr 30 16:25:27 2009 -0400 +++ b/src/demo.sml Thu Apr 30 17:15:14 2009 -0400 @@ -94,7 +94,10 @@ file = "demo.sql"}), debug = false, timeout = Int.max (#timeout combined, #timeout urp), - profile = false + profile = false, + ffi = [], + link = [], + headers = [] } val parse = Compiler.run (Compiler.transform Compiler.parseUrp "Demo parseUrp")