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