Render.ml

From Knot Atlas
Jump to: navigation, search
(*
*)
(*This is render.ml in the form it comes with in mediawiki 1.4.7 *)
let cmd_dvips tmpprefix = "dvips -R -E " ^ tmpprefix ^ ".dvi -f >" ^ tmpprefix ^ ".ps"
let cmd_latex tmpprefix = "latex " ^ tmpprefix ^ ".tex >/dev/null"
let cmd_convert tmpprefix finalpath = "convert -quality 100 -density 120 " ^ tmpprefix ^ ".ps " ^ finalpath ^ " >/dev/null 2>/dev/null"

exception ExternalCommandFailure of string

let render tmppath finalpath outtex md5 =
    let tmpprefix0 = (string_of_int (Unix.getpid ()))^"_"^md5 in
    let tmpprefix = (tmppath^"/"^tmpprefix0) in
    let unlink_all () =
      begin
    Sys.remove (tmpprefix ^ ".dvi");
    Sys.remove (tmpprefix ^ ".aux");
    Sys.remove (tmpprefix ^ ".log");
        Sys.remove (tmpprefix ^ ".tex");
    Sys.remove (tmpprefix ^ ".ps");
      end in
    let f = (Util.open_out_unless_exists (tmpprefix ^ ".tex")) in
      begin
    output_string f (Texutil.get_preface ());
    output_string f outtex;
    output_string f (Texutil.get_footer ());
    close_out f;
    if Util.run_in_other_directory tmppath (cmd_latex tmpprefix0) != 0
    then (unlink_all (); raise (ExternalCommandFailure "latex"))
    else if (Sys.command (cmd_dvips tmpprefix) != 0)
    then (unlink_all (); raise (ExternalCommandFailure "dvips"))
    else if (Sys.command (cmd_convert tmpprefix (finalpath^"/"^md5^".png")) != 0)
    then (unlink_all (); raise (ExternalCommandFailure "convert"))
    else unlink_all ()
      end
(*
*)