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")