From 2307ccdcc5eb4ddfe719ddcbea999f7705ec79c3 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 30 Apr 2009 17:15:14 -0400
Subject: C FFI compiler options

---
 src/demo.sml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src/demo.sml')

diff --git a/src/demo.sml b/src/demo.sml
index 43fa5ef0..4e73faea 100644
--- a/src/demo.sml
+++ b/src/demo.sml
@@ -94,7 +94,10 @@ fun make {prefix, dirname, guided} =
                                              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")
-- 
cgit v1.2.3