From 2032ee01b8e05541b2789b06b5e4e963e747165e Mon Sep 17 00:00:00 2001
From: Robin Adili <robin.adili@inria.fr>
Date: Thu, 31 Mar 2022 13:41:21 +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