|
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
|
val pp_print_dependencies: formatter -> dep_t list -> unit
|
|
8
|
val pp_arrow_o: formatter -> unit -> unit
|
|
9
|
end
|
|
10
|
|
|
11
|
module EmptyMod : MODIFIERS_MKF
|
|
12
|
|
|
13
|
module Main (Mod : MODIFIERS_MKF) : sig
|
|
14
|
val pp_makefile : string -> string -> dep_t list -> formatter -> unit
|
|
15
|
end
|
|
16
|
|
|
17
|
val fprintf_dependencies : string -> formatter -> dep_t list -> unit
|
|
18
|
|
|
19
|
val compiled_dependencies : dep_t list -> dep_t list
|
|
20
|
|
|
21
|
val lib_dependencies : dep_t list -> ident list
|