From d72ff5e2ad86860b0e3aae79c02b825b8be96d8d Mon Sep 17 00:00:00 2001
From: Bas Nijholt <basnijholt@gmail.com>
Date: Wed, 21 Aug 2019 16:11:34 +0200
Subject: [PATCH] add build-essential again

---
 Dockerfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Dockerfile b/Dockerfile
index 15efb6c..680dd86 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
-- 
GitLab