From f33c8483efeec0429aff78b342dd461b19fe9f74 Mon Sep 17 00:00:00 2001
From: rakshasa <sundell.software@gmail.com>
Date: Tue, 4 May 2021 15:41:11 +0000
Subject: [PATCH] Added libisl-dev dependency to dapper dockerfile.

---
 Dockerfile.dapper | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Dockerfile.dapper b/Dockerfile.dapper
index 5ca777ec..c9d993a9 100644
--- a/Dockerfile.dapper
+++ b/Dockerfile.dapper
@@ -8,6 +8,7 @@ RUN echo "Acquire::http { Proxy \"$APTPROXY\"; };" >> /etc/apt/apt.conf.d/01prox
     && cat /etc/apt/apt.conf.d/01proxy \
     && apt-get update \
     && apt-get install -y --no-install-recommends \
+        libisl-dev \
         build-essential \
         ca-certificates \
         cpio \