From d80fbf74ef8a1837d37149598f3100521419e67d Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Mon, 26 Jun 2017 00:36:53 +0200
Subject: [PATCH] add required build tools to the docker image

---
 docker/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker/Dockerfile b/docker/Dockerfile
index e948ae0b7..d806ffabf 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -14,7 +14,7 @@ RUN echo "deb https://dl.bintray.com/rwth-os/hermitcore vivid main" | tee -a /et
 RUN apt-get -qq update
 
 # Install required packets from ubuntu repository
-RUN apt-get install -y curl wget vim nano git binutils
+RUN apt-get install -y curl wget vim nano git binutils autoconf automake make cmake qemu-system-x86 nasm gcc
 RUN apt-get install -y --allow-unauthenticated binutils-hermit libhermit newlib-hermit pthread-embedded-hermit gcc-hermit
 
 ENV PATH="/opt/hermit/bin:${PATH}"