matita/make.mli

   1
   2 module type Format =
   3   sig
   4     type source_object
   5     type target_object
   6     val target_of : source_object -> target_object
   7     val string_of_source_object : source_object -> string
   8     val string_of_target_object : target_object -> string
   9     val build : source_object -> bool
  10     val mtime_of_source_object : source_object -> float option
  11     val mtime_of_target_object : target_object -> float option
  12   end
  13
  14 module Make :
  15   functor (F : Format) ->
  16     sig
  17       (* make [deps] [targets], targets = [] means make all *)
  18       val make : (F.source_object * F.source_object list) list ->
  19                  F.source_object list ->  unit
  20     end
  21
  22 val load_deps_file: string -> (string * string list) list