package forester

  1. Overview
  2. Docs
A tool for tending mathematical forests

Install

Dune Dependency

Authors

Maintainers

Sources

5.0.tar.gz
md5=24f4aed96a8b8af33aba13fba66f1b37
sha512=d36b896aca11858bb4a00fc704c16cc27a1f197bdb3e479d6132fd70f70d67d7158096285cb0b6fb00db14417f0f822cc27fe65d82f0971e42378fd8271ce573

doc/src/forester.compiler/Build_latex.ml.html

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
(*
 * SPDX-FileCopyrightText: 2024 The Forester Project Contributors
 *
 * SPDX-License-Identifier: GPL-3.0-or-later
 *)

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
OCaml

Innovation. Community. Security.