Lines Matching refs:file
20 fun bare file = OS.Path.base (OS.Path.file file)
46 fun find_heapname dir file =
50 val fileout = dir ^ "/heapname_" ^ bare file
53 cmd_in_dir (OS.Path.dir file) cmd;
57 | _ => raise ERR "find_heapname" file
59 fun find_genscriptdep dir file =
63 val fileout = dir ^ "/genscriptdep_" ^ bare file
65 [genscriptdep_bin, OS.Path.file file, ">", fileout]
67 cmd_in_dir (OS.Path.dir file) cmd;
71 | _ => raise ERR "find_genscriptdep" file
73 fun run_buildheap dir core_flag file =
77 val filel = find_genscriptdep dir file
78 val fileout = dir ^ "/buildheap_" ^ bare file
82 else find_heapname dir file
86 filel @ [OS.Path.file file]
89 cmd_in_dir (OS.Path.dir file) cmd
92 | _ => raise ERR "run_buildheap" file
94 fun run_buildheap_nodep dir file =
98 val fileout = dir ^ "/buildheap_" ^ bare file
102 @ [OS.Path.file file]
105 cmd_in_dir (OS.Path.dir file) cmd
108 | _ => raise ERR "run_buildheap_nodep" file *)
112 fun run_rm_script core_flag file =
113 (run_buildheap sml_buildheap_dir core_flag file; remove_err file)
114 handle Interrupt => (remove_err file; raise Interrupt)