Lines Matching defs:target
94 searches, it copies lines to the target. Each replacement happens
96 is done, the rest of the source is copied to the target.
116 fun fill_holes (src,target) repls =
119 val ostrm = openOut target
462 val target = "build.sml"
468 b2002p @ [target]
488 val target = fullPath [holdir, "tools/hol-mode.el"]
490 fill_holes (src, target)
508 val target = fullPath [holdir, "bin/hol.bare"]
515 emit_hol_unquote_script target qend [];
521 val target = fullPath [holdir, "bin/hol.bare.noquote"]
526 emit_hol_script target qend [];
590 val target = fullPath [holdir, "examples/muddy/muddyC/Makefile"]
597 fill_holes (src,target)