From 61a730d0a4879d67f4eed0d5eeafc5df6538edad Mon Sep 17 00:00:00 2001 From: Mateusz Pusz Date: Thu, 19 Sep 2024 17:09:53 -0600 Subject: [PATCH] build: latex dependencies installation --- .github/workflows/documentation.yml | 1 + .gitpod/Dockerfile | 6 ++++++ 2 files changed, 7 insertions(+) diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml index 9c1d49fc..a215d06b 100644 --- a/.github/workflows/documentation.yml +++ b/.github/workflows/documentation.yml @@ -53,6 +53,7 @@ jobs: git fetch origin gh-pages --depth=1 - name: Installing API reference dependencies run: | + sudo apt install latexmk texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended lmodern sudo apt install haskell-stack graphviz nodejs npm ghc cabal-install npm install split mathjax-full mathjax-node-sre cabal update diff --git a/.gitpod/Dockerfile b/.gitpod/Dockerfile index 38d32f8d..5c487083 100644 --- a/.gitpod/Dockerfile +++ b/.gitpod/Dockerfile @@ -19,6 +19,12 @@ RUN sudo install-packages \ libz-dev # Install API reference dependencies +RUN sudo install-packages \ + latexmk \ + texlive-latex-recommended \ + texlive-latex-extra \ + texlive-fonts-recommended \ + lmodern RUN sudo install-packages \ haskell-stack \ graphviz \