File tree 5 files changed +8
-2
lines changed
5 files changed +8
-2
lines changed Original file line number Diff line number Diff line change @@ -13,6 +13,7 @@ RUN apt-get update && \
13
13
libgmp-dev \
14
14
libgmp10 \
15
15
libgmpxx4ldbl \
16
+ librsvg2-bin \
16
17
openjdk-8-jdk \
17
18
pandoc \
18
19
python3-minimal \
Original file line number Diff line number Diff line change @@ -207,13 +207,13 @@ The dependencies needed to *build/install* problemtools can be installed with:
207
207
208
208
And the dependencies needed to *run* problemtools can be installed with:
209
209
210
- sudo apt install ghostscript libgmpxx4ldbl pandoc python3-minimal python-pkg-resources python3-plastex python3-yaml texlive-fonts-recommended texlive-lang-cyrillic texlive-latex-extra texlive-plain-generic tidy
210
+ sudo apt install ghostscript libgmpxx4ldbl librsvg2-bin pandoc python3-minimal python-pkg-resources python3-plastex python3-yaml texlive-fonts-recommended texlive-lang-cyrillic texlive-latex-extra texlive-plain-generic tidy
211
211
212
212
### Fedora
213
213
214
214
On Fedora, these dependencies can be installed with:
215
215
216
- sudo dnf install boost-regex gcc gmp-devel gmp-c++ pandoc python3 python3-pyyaml texlive-latex texlive-collection-fontsrecommended texlive-fancyhdr texlive-subfigure texlive-wrapfig texlive-import texlive-ulem texlive-xifthen texlive-overpic texlive-pbox tidy ghostscript
216
+ sudo dnf install boost-regex gcc gmp-devel gmp-c++ librsvg pandoc python3 python3-pyyaml texlive-latex texlive-collection-fontsrecommended texlive-fancyhdr texlive-subfigure texlive-wrapfig texlive-import texlive-ulem texlive-xifthen texlive-overpic texlive-pbox tidy ghostscript
217
217
218
218
Followed by:
219
219
Original file line number Diff line number Diff line change @@ -25,6 +25,8 @@ RUN apt update && \
25
25
libgmp-dev \
26
26
libgmp10 \
27
27
libgmpxx4ldbl \
28
+ librsvg2-bin \
29
+ pandoc \
28
30
python3 \
29
31
python3-pytest \
30
32
python3-setuptools \
Original file line number Diff line number Diff line change @@ -19,10 +19,12 @@ RUN apt-get update && \
19
19
gnustep-devel gnustep gnustep-make gnustep-common gobjc \
20
20
libgmp3-dev \
21
21
libmozjs-78-dev \
22
+ librsvg2-bin \
22
23
lua5.4 \
23
24
mono-complete \
24
25
nodejs \
25
26
ocaml-nox \
27
+ pandoc \
26
28
php-cli \
27
29
pypy \
28
30
rustc \
Original file line number Diff line number Diff line change @@ -20,6 +20,7 @@ RUN apt update && \
20
20
apt install -y \
21
21
ghostscript \
22
22
libgmpxx4ldbl \
23
+ librsvg2-bin \
23
24
pandoc \
24
25
python-pkg-resources \
25
26
python3-minimal \
You can’t perform that action at this time.
0 commit comments