From 4874bb62aa2a71bc38b7b64edaac8b0fbfd60e65 Mon Sep 17 00:00:00 2001
From: Michael Thies <m.thies@plt.rwth-aachen.de>
Date: Fri, 25 Oct 2019 12:20:17 +0200
Subject: [PATCH] Replace build-essential with gcc, make, libc6-dev

We don't need a C++ compiler and Debian package development tools by now
---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 05e2dd4..9f1bc43 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,3 +1,3 @@
 FROM ubuntu:19.04
 
-RUN ln -fs /usr/share/zoneinfo/Europe/Berlin /etc/localtime && apt-get update -qq && apt-get install -y -qq build-essential git bison flex tcl cmake gcc-arm-linux-gnueabihf gcc-mingw-w64-x86-64 binutils-mingw-w64-x86-64
+RUN ln -fs /usr/share/zoneinfo/Europe/Berlin /etc/localtime && apt-get update -qq && apt-get install -y -qq gcc libc6-dev make git bison flex tcl cmake gcc-arm-linux-gnueabihf gcc-mingw-w64-x86-64 binutils-mingw-w64-x86-64
-- 
GitLab