Similar to Slave.shell, only it passes the arguments list directly to
Unix.execute.
val shell : string list -> bool
val shellF : string list * (string -> string) -> unit
val shellOutput : string list -> string option
+ val run : string * string list -> bool
val concatTo : (string -> bool) -> string -> unit
(* Search through the result configuration hierarchy for all files matching
ErrorMsg.error NONE (msg s)
end
+fun run (program, argv) =
+ let
+ val proc = Unix.execute (program, argv)
+
+ fun loop inf =
+ case TextIO.inputLine inf of
+ NONE => ()
+ | SOME line => loop inf
+ (* Programs that output will fail unless we eat their output *)
+ val () = loop (Unix.textInstreamOf proc)
+ in
+ OS.Process.isSuccess (Unix.reap proc)
+ end
+
fun shellOutput ss =
let
val proc = Unix.execute ("/bin/bash", ["-c", String.concat ss ^ " 2>&1"])