diff options
Diffstat (limited to 'gnu/packages/ocaml.scm')
-rw-r--r-- | gnu/packages/ocaml.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index a5632c6ad1..5e4c08667a 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1453,7 +1453,7 @@ software engineering.") "1fy4c1wb6xn9gxdabs25yajbzik3amifyr7nzd4d9vn6r3gll9sw")))) (build-system dune-build-system) (propagated-inputs (list lablgtk3 zlib)) - (native-inputs (list ghostscript (texlive-updmap.cfg '()) hevea lynx which)) + (native-inputs (list ghostscript (texlive-local-tree '()) hevea lynx which)) (arguments `(#:phases (modify-phases %standard-phases @@ -9462,7 +9462,7 @@ SHA384, SHA512, Blake2b, Blake2s and RIPEMD160.") ;; mktexfmt needs writable home directory. (setenv "HOME" (getcwd))))))) (native-inputs - (list (texlive-updmap.cfg + (list (texlive-local-tree (list texlive-infwarerr texlive-kvoptions texlive-pdftexcmds |