From 541ac0d8e46312d9ab4307f22aee1a6e928160f2 Mon Sep 17 00:00:00 2001
From: Robin Adili <robin.adili@inria.fr>
Date: Wed, 30 Sep 2020 14:02:44 +0200
Subject: [PATCH] install libxml and libz in docker image

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

diff --git a/Dockerfile b/Dockerfile
index 445240a..36d18ad 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -6,4 +6,6 @@ VOLUME /build
 
 WORKDIR /build
 
+RUN yum -y install libxml2-devel zlib-devel
+
 CMD ./buildall.sh
-- 
GitLab