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