MWWRender.ml

From MediaWiki.org

let cmd_dvips tmpprefix = "dvips -R -E -q \"" ^ tmpprefix ^ ".dvi\" -f >\"" ^tmpprefix^".ps\" "
let cmd_latex tmpprefix = "latex  -quiet \"" ^ tmpprefix ^ ".tex\" >\""^tmpprefix^".tmp\" "
let cmd_convert tmpprefix finalpath = "convert -quality 100 -density 120 \"ps:"^tmpprefix^".ps\" \""^finalpath^"\""
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");
       Sys.remove (tmpprefix ^ ".tmp");
     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