diff src/compiler.sig @ 766:df09c95085f8

More FFI compiler options
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 May 2009 12:10:43 -0400
parents a28982de5645
children 3b7e46790fa7
line wrap: on
line diff
--- a/src/compiler.sig	Sat May 02 11:27:26 2009 -0400
+++ b/src/compiler.sig	Sat May 02 12:10:43 2009 -0400
@@ -41,6 +41,7 @@
          ffi : string list,
          link : string list,
          headers : string list,
+         scripts : string list,
          clientToServer : Settings.ffi list,
          effectful : Settings.ffi list,
          clientOnly : Settings.ffi list,