Что именно вы собираетесь делать? Вы хотите запустить его и забыть об этом? Затем сделайте форк / exec. Вы хотите запустить его и подождать, пока он не закончится, но в противном случае ничего не делать? Затем используйте Sys.command
. Вы хотите читать / писать на него? Затем использует Unix.open_process*
(или Unix.create_process*
).
Например, если я хочу запустить ls
и распечатать результаты, я могу сделать это:
let ls = Unix.open_process_in "ls"
try
while true do
Printf.printf "%s\n" (input_line ls)
done
with End_of_file -> ()
Unix.close_process_in ls