diff --git a/Dockerfile b/Dockerfile index 15efb6cbb8fb56f702eee3f96e9a79bd36fe9242..680dd865453a1f3312b76dc483291fed0e80a0c3 100644 --- a/Dockerfile +++ b/Dockerfile @@ -25,6 +25,7 @@ RUN apt-get update -q && apt-get install -qy \ # texlive-full \ python-pygments gnuplot \ make git \ + build-essential \ && rm -rf /var/lib/apt/lists/* RUN mkdir /environments