From 997c94dce15f47373afdb865aa7b63d59f336868 Mon Sep 17 00:00:00 2001
From: Christian Poessinger <christian@poessinger.com>
Date: Thu, 26 Dec 2019 17:25:57 +0100
Subject: Docker: add opam dependency on 'unzip'

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

(limited to 'docker')

diff --git a/docker/Dockerfile b/docker/Dockerfile
index 4ac9f562..8ccc5bc3 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -95,7 +95,8 @@ RUN rm -f /etc/apt/sources.list.d/jessie-backports.list \
 #
 RUN apt-get update && apt-get install -y \
       libffi-dev \
-      libpcre3-dev
+      libpcre3-dev \
+      unzip
 
 RUN curl https://raw.githubusercontent.com/ocaml/opam/2.0.2/shell/install.sh \
       --output /tmp/opam_install.sh --retry 10 --retry-delay 5 && \
-- 
cgit v1.2.3