Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

src/backends/C/c_backend_makefile.mli
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

Also available in: Unified diff