diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2006-10-11 18:12:39 +0000 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2006-10-11 18:12:39 +0000 |
commit | 183851b06bd6c52f3cae5375f433da720d410447 (patch) | |
tree | a477257decbf3360127f6739c2f9d0ec57a03d39 /math/render.ml |
MediaWiki 1.7.1 wiederhergestellt
Diffstat (limited to 'math/render.ml')
-rw-r--r-- | math/render.ml | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/math/render.ml b/math/render.ml new file mode 100644 index 00000000..f070a91e --- /dev/null +++ b/math/render.ml @@ -0,0 +1,33 @@ +let cmd_dvips tmpprefix = "dvips -R -E " ^ tmpprefix ^ ".dvi -f >" ^ tmpprefix ^ ".ps" +let cmd_latex tmpprefix = "latex " ^ tmpprefix ^ ".tex >/dev/null" +(* Putting -transparent white in converts arguments will sort-of give you transperancy *) +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 + (* Commenting this block out will aid in debugging *) + 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 |