let get_output () =
match !output_dir with
| Some dir -> dir
| None ->
let dir =
match OutputDir.get () with
| "" ->
if !Config.is_gui
then make_gui_dir ()
else make_tmp_dir ()
| dir ->
make_output_dir dir
in
output_dir := Some dir ; dir