Lines Matching defs:includes
145 {includes = envlist env "INCLUDES" |> slist_to_dset dir,
220 val cline_additional_includes = #includes coption_value
226 (* make the cline includes = [] so that these are only looked at once
277 This record includes
278 includes: the includes that the local directory knows about
285 The includes and preincludes are clearly useful when it comes time to
289 includes and preincludes.
310 {includes : string list, preincludes : string list} ->
339 val {includes=incset, preincludes = preincset} = getnewincs dir
354 val _ = diag (fn _ => "recursively: includes (pre- & normal) = [" ^
391 "recursively: computed includes for " ^
394 "recursively: computed pre-includes for " ^
409 val data' = hm {includes=f incs,preincludes=f pres} warn dir data
504 diag "startup" (fn _ => "Additional includes = [" ^
556 val {preincludes,includes} = incinfo
708 val {preincludes,includes} = incinfo
710 includes = std_include_flags @ includes}