diff --git a/Dockerfile b/Dockerfile index baf87d5..86fe299 100644 --- a/Dockerfile +++ b/Dockerfile @@ -3,7 +3,7 @@ RUN sed -i -e 's/^APT/# APT/' -e 's/^DPkg/# DPkg/' /etc/apt/apt.conf.d/docker-cl export DEBIAN_FRONTEND=noninteractive; \ apt update; apt install -y curl; \ curl -sL https://deb.nodesource.com/setup_16.x | bash; \ - apt install -y jq texlive-full wget git cppcheck nodejs python3 python3-pip graphviz; \ + apt install -y jq texlive-full wget git cppcheck nodejs python3 python3-pip graphviz cmake; \ cd /tmp; \ wget https://github.com/jgm/pandoc/releases/download/2.18/pandoc-2.18-1-amd64.deb; \ dpkg -i pandoc-2.18-1-amd64.deb; \