Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

CI user_manual.yml using historic texlive 2017 fails #6878

Closed
andreasabel opened this issue Sep 25, 2023 · 1 comment · Fixed by #6879
Closed

CI user_manual.yml using historic texlive 2017 fails #6878

andreasabel opened this issue Sep 25, 2023 · 1 comment · Fixed by #6879
Assignees
@andreasabel
Labels
infra: github workflows Issues related to GitHub workflows and actions (not in changelog) user-manual Concerning the user manual (sublabel of documentation)
Milestone
2.6.4

Comments

@andreasabel
Copy link
Member

https://github.com/agda/agda/actions/runs/6296069881/job/17090372380#step:5:27

tlmgr: setting default package repository to http://ftp.math.utah.edu/pub/tex/historic/systems/texlive/2017/tlnet-final
/home/runner/texlive/bin/x86_64-linux/tlmgr: open tlpdb(http://ftp.math.utah.edu/pub/tex/historic/systems/texlive/2017/tlnet-final/tlpkg/texlive.tlpdb) failed: Inappropriate ioctl for device at /home/runner/texlive/tlpkg/TeXLive/TLPDB.pm line 360.

agda/src/github/workflows/user_manual.yml

Lines 40 to 47 in 86fce9a

- name: Install Tex Live and LaTeX packages
run: |
export PATH=$HOME/texlive/bin/x86_64-linux:$PATH
curl -Lo /tmp/texlive.tar.gz https://github.com/jimhester/ubuntu-bin/releases/download/latest/texlive.tar.gz
tar xzf /tmp/texlive.tar.gz -C ~
tlmgr option repository http://ftp.math.utah.edu/pub/tex/historic/systems/texlive/2017/tlnet-final
tlmgr update --self
tlmgr install anyfontsize bbm capt-of cmap dvipng fncychap keystroke latexmk needspace tex-gyre

We could try switching to tectonic which installs dependencies as needed automatically.
@andreasabel andreasabel added infra: github workflows Issues related to GitHub workflows and actions (not in changelog) user-manual Concerning the user manual (sublabel of documentation) labels Sep 25, 2023
@andreasabel andreasabel added this to the 2.6.4 milestone Sep 25, 2023
@andreasabel
Copy link
Member Author

andreasabel commented Sep 25, 2023 •
edited

We could try switching to tectonic which installs dependencies as needed automatically.

Does not work out of the box:

$ make PDFLATEX=tectonic user-manual-pdf
...
error: unicode-symbols-sphinx.tex.txt:26: Undefined control sequence
...

Doesn't know about \DeclaringUnicodeCharacter, and maybe sphinx does not include \usepackage{newunicodechar} or so. Reported this upstream:

@andreasabel andreasabel self-assigned this Sep 25, 2023
@andreasabel andreasabel mentioned this issue Sep 25, 2023
Merged
andreasabel added a commit that referenced this issue Sep 25, 2023
@andreasabel
CI: user_manual.yml: install Tex via setup action
45bb249 
Fixes #6878
@andreasabel andreasabel mentioned this issue Sep 25, 2023
Merged
andreasabel added a commit that referenced this issue Sep 25, 2023
@andreasabel
CI: user_manual.yml: install Tex via setup action (#6879)
be1d15c 
* CI: user_manual.yml: install Tex via setup action

Fixes #6878

* Delete unknown packages

* Additional packages for setup action

* Add package framed

* Add back missing packages

* Add package fancyvrb

* Add package upquote

* Add package booktabs

* Add etoolbox

* Add bbm

* Add bbm

* Add package mathtools

* Add bbm-macros

* Add mathtools

* Add stmaryrd

* Add psnfss

* Add times

* Add chancery instead of times

* Add zapfchan

* Sort packages alphabetically
JobPetrovcic pushed a commit to JobPetrovcic/agda that referenced this issue Apr 12, 2024
@andreasabel @JobPetrovcic
CI: user_manual.yml: install Tex via setup action (agda#6879)
697b2c9 
* CI: user_manual.yml: install Tex via setup action

Fixes agda#6878

* Delete unknown packages

* Additional packages for setup action

* Add package framed

* Add back missing packages

* Add package fancyvrb

* Add package upquote

* Add package booktabs

* Add etoolbox

* Add bbm

* Add bbm

* Add package mathtools

* Add bbm-macros

* Add mathtools

* Add stmaryrd

* Add psnfss

* Add times

* Add chancery instead of times

* Add zapfchan

* Sort packages alphabetically
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@andreasabel andreasabel

Labels
infra: github workflows Issues related to GitHub workflows and actions (not in changelog) user-manual Concerning the user manual (sublabel of documentation)
Projects
None yet
Milestone
2.6.4
Development

Successfully merging a pull request may close this issue.

CI: user_manual.yml: install Tex via setup action agda/agda
1 participant
@andreasabel