Source file Build_latex.ml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
open Forester_core
type env = Eio_unix.Stdenv.base
let resources_dir cwd = Eio.Path.(cwd / "build" / "resources")
let latex_to_svg ~env ?loc source =
let cwd = Eio.Stdenv.cwd env in
let hash = Digest.to_hex @@ Digest.string source in
let name = hash ^ ".svg" in
let svg_path = Eio.Path.(resources_dir cwd / name) in
let perm = 0o755 in
Eio_util.ensure_context_of_path ~perm svg_path;
try
Eio.Path.load svg_path
with
| Eio.Io (Eio.Fs.E (Eio.Fs.Not_found _), _) ->
Reporter.emit Log ~extra_remarks: [Asai.Diagnostic.loctextf "Building %s" (Eio.Path.native_exn svg_path)];
let svg_code = LaTeX_pipeline.latex_to_svg ~env ?loc source in
Eio.Path.save ~create: (`Or_truncate perm) svg_path svg_code;
svg_code