lustrec/src/backends/C/c_backend_makefile.mli @ a7062da6
1 |
open Utils |
---|---|
2 |
open Format |
3 |
open Lustre_types |
4 |
|
5 |
module type MODIFIERS_MKF = sig |
6 |
val other_targets : formatter -> string -> string -> dep_t list -> unit |
7 |
end
|
8 |
|
9 |
module EmptyMod : MODIFIERS_MKF |
10 |
|
11 |
module Main (Mod : MODIFIERS_MKF) : sig |
12 |
val print_makefile: string -> string -> dep_t list -> formatter -> unit |
13 |
end
|
14 |
|
15 |
val fprintf_dependencies: formatter -> dep_t list -> unit |
16 |
val compiled_dependencies: dep_t list -> dep_t list |
17 |
val lib_dependencies: dep_t list -> ident list |