Install eigen3 in dockerfiles

8 years ago · ae9641baba
2 changed files with 2 additions and 0 deletions
--- 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 \
--- 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 \