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