Lines Matching refs:targets
78 val (master_cline_options, targets) = getcline (CommandLine.arguments())
503 diag "startup" (fn _ => "Targets = [" ^ String.concatWith ", " targets ^ "]");
902 map, ensuring that if targets are marked as needed, the
1038 case targets of
1041 val targets = if cline_recursive_build then
1046 mk_dirneeded (hmdir.curdir()) (mkneeded targets depgraph)
1048 mkneeded targets depgraph
1056 "Generated targets are: [" ^concatWithf pr ", " targets ^ "]"
1104 val targets = map filestr_to_tgt xs
1107 mk_dirneeded (hmdir.curdir()) (mkneeded targets depgraph)
1109 mkneeded targets depgraph
1110 val _ = check_targets_are_in_graph depgraph targets
1124 header = "Usage:\n " ^ CommandLine.name() ^ " [targets]\n\n\
1125 \Special targets are: clean, cleanDeps and cleanAll\n\n\