1(* Moscow ML implementation of munger creation program *) 2 3val (exeopt, toload0, staticp) = mkmkcline.read_cline() 4 5val toload = map (fn s => s ^ ".uo") toload0 6val exe = case exeopt of 7 NONE => "munge.exe" 8 | SOME s => s 9 10infix ++ 11fun (p1 ++ p2) = OS.Path.concat (p1, p2) 12 13open Systeml 14 15val _ = systeml 16 ([MOSMLDIR ++ "mosmlc"] @ 17 (if Systeml.isUnix andalso staticp then ["-standalone"] else []) @ 18 ["-o", exe, "-I", HOLDIR ++ "sigobj", 19 "-I", HOLDIR ++ "src" ++ "TeX"] @ 20 ["warning_stream.uo"] @ 21 toload @ 22 [HOLDIR ++ "src" ++ "TeX" ++ "mosmlmunge.uo"]) 23