Subject: Re: unison does not build on core-updates-frozen

From: Vivien Kraus <[email-masked]>
Date: Thu, 04 Nov 2021 01:05:43 +0100

So, trying to understand why the error happens, I added all the known
texlive packages (exported variables in gnu/packages/texlive.scm that
start with texlive- and that are packages), and it still fails, but if I
just add the full texlive it builds just fine.

Vivien

>From c8e5a85dd13dad9e5c388c6e7f852a3ac6341f7c Mon Sep 17 00:00:00 2001
From: Vivien Kraus <[email-masked]>
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

>From 6d8ad18b585a1003dbefa1a591258b0b0b9a85b5 Mon Sep 17 00:00:00 2001
From: Vivien Kraus <[email-masked]>
Date: Thu, 4 Nov 2021 01:04:36 +0100
Subject: [PATCH 2/2] [DBG] However, texlive (full) is sufficient

---
 gnu/packages/ocaml.scm | 292 +----------------------------------------
 1 file changed, 1 insertion(+), 291 deletions(-)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index c3b69e0f18..3c86bafc5e 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -1208,297 +1208,7 @@ (define-public unison
        ("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
+                          texlive
 
                           )))
        ("hevea" ,hevea)
-- 
2.33.1