From ae9641babac8ef88d1cb492317e096437e9a14ab Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 14 Jul 2017 16:38:34 +0200
Subject: [PATCH] Install eigen3 in dockerfiles

---
 travis/dockerfiles/Dockerfile.debian-9     | 1 +
 travis/dockerfiles/Dockerfile.ubuntu-16.10 | 1 +
 2 files changed, 2 insertions(+)

diff --git a/travis/dockerfiles/Dockerfile.debian-9 b/travis/dockerfiles/Dockerfile.debian-9
index edf0100b1..3735b38fd 100644
--- a/travis/dockerfiles/Dockerfile.debian-9
+++ b/travis/dockerfiles/Dockerfile.debian-9
@@ -8,6 +8,7 @@ RUN apt-get update -qq && apt-get install -y --no-install-recommends \
     cmake \
     libboost-all-dev \
     libcln-dev \
+    libeigen3-dev \
     libgmp-dev \
     libginac-dev \
     automake \
diff --git a/travis/dockerfiles/Dockerfile.ubuntu-16.10 b/travis/dockerfiles/Dockerfile.ubuntu-16.10
index 966857553..a612faccb 100644
--- a/travis/dockerfiles/Dockerfile.ubuntu-16.10
+++ b/travis/dockerfiles/Dockerfile.ubuntu-16.10
@@ -8,6 +8,7 @@ RUN apt-get update -qq && apt-get install -y --no-install-recommends \
     cmake \
     libboost-all-dev \
     libcln-dev \
+    libeigen3-dev \
     libgmp-dev \
     libginac-dev \
     automake \