1signature ReadHMF =
2sig
3
4  type env = Holmake_types.env
5  type ruledb = Holmake_types.ruledb
6  val read : string -> env -> env * ruledb * string option
7
8  val find_includes : string -> string list
9  val extend_path_with_includes :
10      {verbosity : int, lpref : string list ref} -> unit
11
12end;
13
14(*
15
16   [find_includes dirname] reads the Holmakefile (if any) in directory
17   dirname, and returns the list of directories (in canonical form)
18   that are pointed to by INCLUDES variable declarations. If there is
19   no Holmakefile, the empty list is returned. The directory name in
20   dirname must be a absolute filename.
21
22   [extend_path_with_includes {quietp, lpref}] reads the Holmakefile
23   (if any) in the current directory and updates the string list
24   pointed to by lpref to include the INCLUDES and PRE_INCLUDES
25   specified in the Holmakefile. If quietp is false, there will be an
26   informative message printed to standard out noting that this is
27   happening (when there is an INCLUDES or PRE_INCLUDES line).
28
29*)
30