From c8e5a85dd13dad9e5c388c6e7f852a3ac6341f7c Mon Sep 17 00:00:00 2001
From: Vivien Kraus <vivien@planete-kraus.eu>
Date: Thu, 4 Nov 2021 01:02:39 +0100
Subject: [PATCH 1/2] =?UTF-8?q?[DBG]=20I=20can=E2=80=99t=20get=20it=20to?=
 =?UTF-8?q?=20build,=20even=20with=20all=20the=20texlive=20packages=20I=20?=
 =?UTF-8?q?can=20get.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 gnu/packages/ocaml.scm | 297 ++++++++++++++++++++++++++++++++++++++++-
 1 file changed, 296 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 7b1363a5c3..c3b69e0f18 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -1205,7 +1205,302 @@ (define-public unison
      `(("ocaml" ,ocaml-4.09)
        ;; For documentation
        ("ghostscript" ,ghostscript)
-       ("texlive" ,texlive-tiny)
+       ("texlive" ,(texlive-updmap.cfg
+                    (list texlive-fonts-ec
+
+                          texlive-adjustbox
+                          texlive-ae
+                          texlive-amscls
+                          texlive-amsfonts
+                          texlive-arev
+                          texlive-babel
+                          texlive-babel-swedish
+                          texlive-base
+                          texlive-beamer
+                          texlive-bera
+                          texlive-biblatex
+                          texlive-bibtex
+                          texlive-booktabs
+                          texlive-cabin
+                          texlive-caption
+                          texlive-charter
+                          texlive-cm
+                          texlive-cm-super
+                          texlive-collectbox
+                          texlive-context
+                          texlive-courier
+                          texlive-csquotes
+                          texlive-dehyph-exptl
+                          texlive-dejavu
+                          texlive-doi
+                          texlive-dvips
+                          texlive-epsf
+                          texlive-etex
+                          texlive-etoolbox
+                          texlive-eurosym
+                          texlive-filemod
+                          texlive-fontaxes
+                          texlive-fontinst
+                          texlive-fontname
+                          texlive-fonts-ec
+                          texlive-fonts-iwona
+                          texlive-fonts-latex
+                          texlive-fonts-rsfs
+                          texlive-fontspec
+                          texlive-fourier
+                          texlive-fpl
+                          texlive-generic-atbegshi
+                          texlive-generic-babel-english
+                          texlive-generic-babel-german
+                          texlive-generic-bigintcalc
+                          texlive-generic-bitset
+                          texlive-generic-etexcmds
+                          texlive-generic-gettitlestring
+                          texlive-generic-iftex
+                          texlive-generic-infwarerr
+                          texlive-generic-intcalc
+                          texlive-generic-kvdefinekeys
+                          texlive-generic-kvsetkeys
+                          texlive-generic-listofitems
+                          texlive-generic-ltxcmds
+                          texlive-generic-pdfescape
+                          texlive-generic-ulem
+                          texlive-generic-uniquecounter
+                          texlive-graphics-cfg
+                          texlive-graphics-def
+                          texlive-grfext
+                          texlive-helvetic
+                          texlive-hyperref
+                          texlive-hyph-utf8
+                          texlive-hyphen-afrikaans
+                          texlive-hyphen-ancientgreek
+                          texlive-hyphen-armenian
+                          texlive-hyphen-base
+                          texlive-hyphen-basque
+                          texlive-hyphen-belarusian
+                          texlive-hyphen-bulgarian
+                          texlive-hyphen-catalan
+                          texlive-hyphen-chinese
+                          texlive-hyphen-churchslavonic
+                          texlive-hyphen-coptic
+                          texlive-hyphen-croatian
+                          texlive-hyphen-czech
+                          texlive-hyphen-danish
+                          texlive-hyphen-dutch
+                          texlive-hyphen-english
+                          texlive-hyphen-esperanto
+                          texlive-hyphen-estonian
+                          texlive-hyphen-ethiopic
+                          texlive-hyphen-finnish
+                          texlive-hyphen-french
+                          texlive-hyphen-friulan
+                          texlive-hyphen-galician
+                          texlive-hyphen-georgian
+                          texlive-hyphen-german
+                          texlive-hyphen-greek
+                          texlive-hyphen-hungarian
+                          texlive-hyphen-icelandic
+                          texlive-hyphen-indic
+                          texlive-hyphen-indonesian
+                          texlive-hyphen-interlingua
+                          texlive-hyphen-irish
+                          texlive-hyphen-italian
+                          texlive-hyphen-kurmanji
+                          texlive-hyphen-latin
+                          texlive-hyphen-latvian
+                          texlive-hyphen-lithuanian
+                          texlive-hyphen-macedonian
+                          texlive-hyphen-mongolian
+                          texlive-hyphen-norwegian
+                          texlive-hyphen-occitan
+                          texlive-hyphen-pali
+                          texlive-hyphen-piedmontese
+                          texlive-hyphen-polish
+                          texlive-hyphen-portuguese
+                          texlive-hyphen-romanian
+                          texlive-hyphen-romansh
+                          texlive-hyphen-russian
+                          texlive-hyphen-sanskrit
+                          texlive-hyphen-schoolfinnish
+                          texlive-hyphen-serbian
+                          texlive-hyphen-slovak
+                          texlive-hyphen-slovenian
+                          texlive-hyphen-spanish
+                          texlive-hyphen-swedish
+                          texlive-hyphen-thai
+                          texlive-hyphen-turkish
+                          texlive-hyphen-turkmen
+                          texlive-hyphen-ukrainian
+                          texlive-hyphen-uppersorbian
+                          texlive-hyphen-welsh
+                          texlive-ifmtarg
+                          texlive-ifoddpage
+                          texlive-inconsolata
+                          texlive-jadetex
+                          texlive-jknappen
+                          texlive-kastrup
+                          texlive-knuth-lib
+                          texlive-kpathsea
+                          texlive-l3build
+                          texlive-latex-acmart
+                          texlive-latex-acronym
+                          texlive-latex-amsmath
+                          texlive-latex-amsrefs
+                          texlive-latex-anysize
+                          texlive-latex-appendix
+                          texlive-latex-atveryend
+                          texlive-latex-auxhook
+                          texlive-latex-base
+                          texlive-latex-bigfoot
+                          texlive-latex-blindtext
+                          texlive-latex-bookmark
+                          texlive-latex-capt-of
+                          texlive-latex-changebar
+                          texlive-latex-changepage
+                          texlive-latex-cmap
+                          texlive-latex-colortbl
+                          texlive-latex-cyrillic
+                          texlive-latex-dinbrief
+                          texlive-latex-draftwatermark
+                          texlive-latex-ebproof
+                          texlive-latex-eepic
+                          texlive-latex-enumitem
+                          texlive-latex-environ
+                          texlive-latex-epstopdf-pkg
+                          texlive-latex-eqparbox
+                          texlive-latex-eso-pic
+                          texlive-latex-etoc
+                          texlive-latex-eukdate
+                          texlive-latex-examplep
+                          texlive-latex-expdlist
+                          texlive-latex-fancybox
+                          texlive-latex-fancyhdr
+                          texlive-latex-fancyvrb
+                          texlive-latex-filecontents
+                          texlive-latex-float
+                          texlive-latex-fncychap
+                          texlive-latex-footmisc
+                          texlive-latex-framed
+                          texlive-latex-g-brief
+                          texlive-latex-galois
+                          texlive-latex-gcite
+                          texlive-latex-geometry
+                          texlive-latex-graphics
+                          texlive-latex-hanging
+                          texlive-latex-hycolor
+                          texlive-latex-ifplatform
+                          texlive-latex-jknapltx
+                          texlive-latex-koma-script
+                          texlive-latex-kvoptions
+                          texlive-latex-l3backend
+                          texlive-latex-l3kernel
+                          texlive-latex-l3packages
+                          texlive-latex-letltxmacro
+                          texlive-latex-listings
+                          texlive-latex-mdwtools
+                          texlive-latex-media9
+                          texlive-latex-ms
+                          texlive-latex-multirow
+                          texlive-latex-natbib
+                          texlive-latex-needspace
+                          texlive-latex-newunicodechar
+                          texlive-latex-ocgx2
+                          texlive-latex-overpic
+                          texlive-latex-parskip
+                          texlive-latex-pdfpages
+                          texlive-latex-pdftexcmds
+                          texlive-latex-pgf
+                          texlive-latex-polyglossia
+                          texlive-latex-preview
+                          texlive-latex-psfrag
+                          texlive-latex-readarray
+                          texlive-latex-refcount
+                          texlive-latex-rerunfilecheck
+                          texlive-latex-stackengine
+                          texlive-latex-subfigure
+                          texlive-latex-supertabular
+                          texlive-latex-tabulary
+                          texlive-latex-threeparttable
+                          texlive-latex-titlesec
+                          texlive-latex-tocloft
+                          texlive-latex-tools
+                          texlive-latex-trimspaces
+                          texlive-latex-type1cm
+                          texlive-latex-ucs
+                          texlive-latex-upquote
+                          texlive-latex-varwidth
+                          texlive-latex-verbatimbox
+                          texlive-latex-wrapfig
+                          texlive-latex-xkeyval
+                          texlive-latex-xmpincl
+                          texlive-latexconfig
+                          texlive-lh
+                          texlive-libertine
+                          texlive-libkpathsea
+                          texlive-lm
+                          texlive-logreq
+                          texlive-luaotfload
+                          texlive-luatex-lualibs
+                          texlive-ly1
+                          texlive-marginnote
+                          texlive-marvosym
+                          texlive-mathdesign
+                          texlive-mathpazo
+                          texlive-metafont
+                          texlive-metapost
+                          texlive-mflogo
+                          texlive-mflogo-font
+                          texlive-microtype
+                          texlive-mkpattern
+                          texlive-morefloats
+                          texlive-mweights
+                          texlive-newtx
+                          texlive-oberdiek
+                          texlive-pagenote
+                          texlive-palatino
+                          texlive-pdftex
+                          texlive-pdfx
+                          texlive-preprint
+                          texlive-psnfss
+                          texlive-pst-text
+                          texlive-pstool
+                          texlive-pstricks
+                          texlive-ruhyphen
+                          texlive-sectsty
+                          texlive-seminar
+                          texlive-siunitx
+                          texlive-standalone
+                          texlive-stmaryrd
+                          texlive-storebox
+                          texlive-symbol
+                          texlive-tcolorbox
+                          texlive-tetex
+                          texlive-tex-gyre
+                          texlive-tex-ini-files
+                          texlive-tex-plain
+                          texlive-tex-texinfo
+                          texlive-times
+                          texlive-tiny
+                          texlive-tipa
+                          texlive-titling
+                          texlive-todonotes
+                          texlive-tools
+                          texlive-txfonts
+                          texlive-ukrhyph
+                          texlive-unicode-data
+                          texlive-units
+                          texlive-url
+                          texlive-utopia
+                          texlive-wasy
+                          texlive-wasysym
+                          texlive-xcharter
+                          texlive-xcolor
+                          texlive-xmltex
+                          texlive-xypic
+                          texlive-ydoc
+                          texlive-zapfding
+
+                          )))
        ("hevea" ,hevea)
        ("lynx" ,lynx)
        ("which" ,which)))
-- 
2.33.1