comparison src/compiler.sig @ 764:7f653298dd66

C FFI compiler options
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Apr 2009 17:15:14 -0400
parents 43553c93dd8c
children a28982de5645
comparison
equal deleted inserted replaced
763:af41ec2f302a 764:7f653298dd66
35 sources : string list, 35 sources : string list,
36 exe : string, 36 exe : string,
37 sql : string option, 37 sql : string option,
38 debug : bool, 38 debug : bool,
39 profile : bool, 39 profile : bool,
40 timeout : int 40 timeout : int,
41 ffi : string list,
42 link : string list,
43 headers : string list
41 } 44 }
42 val compile : string -> unit 45 val compile : string -> unit
43 val compileC : {cname : string, oname : string, ename : string, libs : string, 46 val compileC : {cname : string, oname : string, ename : string, libs : string,
44 profile : bool, debug : bool} -> unit 47 profile : bool, debug : bool, link : string list} -> unit
45 48
46 type ('src, 'dst) phase 49 type ('src, 'dst) phase
47 type ('src, 'dst) transform 50 type ('src, 'dst) transform
48 51
49 val transform : ('src, 'dst) phase -> string -> ('src, 'dst) transform 52 val transform : ('src, 'dst) phase -> string -> ('src, 'dst) transform