comparison 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
comparison
equal deleted inserted replaced
765:a28982de5645 766:df09c95085f8
39 profile : bool, 39 profile : bool,
40 timeout : int, 40 timeout : int,
41 ffi : string list, 41 ffi : string list,
42 link : string list, 42 link : string list,
43 headers : string list, 43 headers : string list,
44 scripts : string list,
44 clientToServer : Settings.ffi list, 45 clientToServer : Settings.ffi list,
45 effectful : Settings.ffi list, 46 effectful : Settings.ffi list,
46 clientOnly : Settings.ffi list, 47 clientOnly : Settings.ffi list,
47 serverOnly : Settings.ffi list, 48 serverOnly : Settings.ffi list,
48 jsFuncs : (Settings.ffi * string) list 49 jsFuncs : (Settings.ffi * string) list