From 32d4821f4aa376cddb7cd6d9719a7a4621634387 Mon Sep 17 00:00:00 2001 From: Mateusz Pusz Date: Mon, 9 Sep 2024 18:19:16 +0000 Subject: [PATCH] chore: Dockerfile updated for gitpod --- .gitpod/Dockerfile | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/.gitpod/Dockerfile b/.gitpod/Dockerfile index cb1c901e3..c26d34d2a 100644 --- a/.gitpod/Dockerfile +++ b/.gitpod/Dockerfile @@ -17,3 +17,18 @@ RUN sudo install-packages \ libjpeg-dev \ libpng-dev \ libz-dev + +# Install API reference dependencies +RUN sudo install-packages \ + haskell-stack \ + graphviz \ + nodejs \ + npm \ + ghc \ + cabal-install +RUN npm install split mathjax-full mathjax-node-sre +RUN cabal update + +# Install MathJax-Node-CLI +git clone https://github.com/mathjax/mathjax-node-cli --depth=1 +echo "export PATH=\"$PWD/mathjax-node-cli/bin:\$PATH\"" >> ~/.bashrc