ocaml
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

don't build pdfs of embedded latex anymore

+8 -35
+8 -35
lib/frontend/Build_latex.ml
··· 16 16 let dvi_fp name = 17 17 Format.sprintf "%s.dvi" name 18 18 19 - let pdf_fp name = 20 - Format.sprintf "%s.pdf" name 21 - 22 19 let build_dir cwd = 23 20 Eio.Path.(cwd/"build") 24 21 25 22 let tex_fname name = name ^ ".tex" 26 23 let dvi_fname name = name ^ ".dvi" 27 - let pdf_fname name = name ^ ".pdf" 28 - 29 24 30 25 let write_tex_file ~env ~name ~preamble ~source = 31 26 let cwd = Eio.Stdenv.cwd env in ··· 43 38 Eio_util.run_process ~env ~cwd 44 39 ["latex"; "-halt-on-error"; "-interaction=nonstopmode"; tex_fname name] 45 40 46 - let render_pdf_file ~env ~name ~source = 47 - let cwd = build_dir @@ Eio.Stdenv.cwd env in 48 - Eio_util.ensure_remove_file Eio.Path.(cwd / pdf_fname name); 49 - Eio.traceln "Building pdf for source: %s" name; 50 - Eio_util.run_process ~env ~cwd 51 - ["pdflatex"; "-halt-on-error"; "-interaction=nonstopmode"; tex_fname name] 52 - 53 41 let render_svg_file ~env ~name ~source = 54 42 let cwd = build_dir @@ Eio.Stdenv.cwd env in 55 43 let fname = dvi_fname name in ··· 69 57 let build_latex ~env ~ignore_tex_cache ~name ~preamble ~source : Eio.Fs.dir_ty Eio.Path.t list = 70 58 let cwd = Eio.Stdenv.cwd env in 71 59 let svg_path = Eio.Path.(build_dir cwd / (name ^ ".svg")) in 72 - let pdf_path = Eio.Path.(build_dir cwd / (name ^ ".pdf")) in 73 60 74 61 write_tex_file ~env ~name ~preamble ~source; 75 62 76 - let svg_task () = 77 - if ignore_tex_cache || not @@ Eio_util.file_exists svg_path then 78 - begin 79 - render_dvi_file ~env ~name ~source; 80 - render_svg_file ~env ~name ~source; 81 - Some svg_path 82 - end 83 - else 84 - None 85 - in 86 - let pdf_task () = 87 - if ignore_tex_cache || not @@ Eio_util.file_exists pdf_path then 88 - begin 89 - render_pdf_file ~env ~name ~source; 90 - Some pdf_path 91 - end 92 - else 93 - None 94 - in 95 - 96 - [svg_task; pdf_task] |> Eio.Fiber.List.filter_map @@ fun task -> 97 - task () 63 + if ignore_tex_cache || not @@ Eio_util.file_exists svg_path then 64 + begin 65 + render_dvi_file ~env ~name ~source; 66 + render_svg_file ~env ~name ~source; 67 + [svg_path] 68 + end 69 + else 70 + []