From 74fcb5ea520dd83b4e3144ef12d072e1b9a65203 Mon Sep 17 00:00:00 2001
From: tmeissner <programming@goodcleanfun.de>
Date: Thu, 26 Mar 2020 14:29:30 +0100
Subject: [PATCH] Add libc6-dev & zlib1g-dev needed for simulation with GHDL

---
 ghdl-formal.Dockerfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ghdl-formal.Dockerfile b/ghdl-formal.Dockerfile
index 77945a0..c51d5fd 100644
--- a/ghdl-formal.Dockerfile
+++ b/ghdl-formal.Dockerfile
@@ -45,6 +45,8 @@ RUN apt-get update -qq && \
     libgnat-8 \
     libllvm7 \
     gcc \
+    libc6-dev \
+    zlib1g-dev \
     make \
     python3 && \
     apt-get upgrade && apt-get autoclean && apt-get clean && apt-get -y autoremove && \