From 0c46ffe6b9f1703cec4521deeb7d4f3b72d6f995 Mon Sep 17 00:00:00 2001
From: Ansgar Burchardt <Ansgar.Burchardt@tu-dresden.de>
Date: Thu, 28 Apr 2016 15:25:33 +0200
Subject: [PATCH] base: Install curl.

---
 base-8/Dockerfile | 1 +
 base-9/Dockerfile | 1 +
 2 files changed, 2 insertions(+)

diff --git a/base-8/Dockerfile b/base-8/Dockerfile
index 0a910da..5a48140 100644
--- a/base-8/Dockerfile
+++ b/base-8/Dockerfile
@@ -12,6 +12,7 @@ RUN apt-get update && apt-get dist-upgrade --no-install-recommends --yes \
   clang \
   cmake \
   coinor-libipopt-dev \
+  curl \
   flex \
   gfortran \
   git \
diff --git a/base-9/Dockerfile b/base-9/Dockerfile
index 13499fe..da08ef1 100644
--- a/base-9/Dockerfile
+++ b/base-9/Dockerfile
@@ -12,6 +12,7 @@ RUN apt-get update && apt-get dist-upgrade --no-install-recommends --yes \
   clang \
   cmake \
   coinor-libipopt-dev \
+  curl \
   flex \
   gfortran \
   git \
-- 
GitLab