diff options
Diffstat (limited to 'math/render.ml')
| -rw-r--r-- | math/render.ml | 58 |
1 files changed, 0 insertions, 58 deletions
diff --git a/math/render.ml b/math/render.ml deleted file mode 100644 index 5a02b671..00000000 --- a/math/render.ml +++ /dev/null @@ -1,58 +0,0 @@ -(* vim: set sw=8 ts=8 et: *) - -let cmd_dvips tmpprefix = "dvips -q -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" - -(* Putting -bg Transparent in dvipng's arguments will give full-alpha transparency *) -(* Note that IE have problems with such PNGs and need an additional javascript snippet *) -(* Putting -bg transparent in dvipng's arguments will give binary transparency *) -let cmd_dvipng tmpprefix finalpath backcolor = "dvipng -bg \'" ^ backcolor ^ "\' -gamma 1.5 -D 120 -T tight --strict " ^ tmpprefix ^ ".dvi -o " ^ finalpath ^ " >/dev/null 2>/dev/null" - -exception ExternalCommandFailure of string - -let render tmppath finalpath outtex md5 backcolor = - 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"); - if Sys.file_exists (tmpprefix ^ ".ps") - then Sys.remove (tmpprefix ^ ".ps"); - end in - - let f = (Util.open_out_unless_exists (tmpprefix ^ ".tex")) in - begin - (* Assemble final output in file 'f' *) - output_string f (Texutil.get_preface ()); - output_string f outtex; - output_string f (Texutil.get_footer ()); - close_out f; - - (* TODO: document *) - if Util.run_in_other_directory tmppath (cmd_latex tmpprefix0) != 0 - then ( - unlink_all (); raise (ExternalCommandFailure "latex") - ) else if (Sys.command (cmd_dvipng tmpprefix (finalpath^"/"^md5^".png") backcolor) != 0) - then ( - 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 () - ) - ) else ( - unlink_all () - ) - end |