From 2a32e2cd772c427c11be23c88a850d05189a3dec Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 7 Jul 2017 15:17:27 +0200
Subject: [PATCH] Install eigen package in travis

---
 travis/build.sh       | 2 ++
 travis/install_osx.sh | 1 +
 2 files changed, 3 insertions(+)

diff --git a/travis/build.sh b/travis/build.sh
index e46685174..4f7d1c17d 100755
--- a/travis/build.sh
+++ b/travis/build.sh
@@ -28,6 +28,8 @@ linux)
     # Run container
     set -e
     docker run -d -it --name storm --privileged mvolk/storm-basesystem:$LINUX
+    # Install dependencies
+    docker exec storm apt-get install -qq -y libeigen-dev
     # Copy local content into container
     docker exec storm mkdir storm
     docker cp . storm:/storm
diff --git a/travis/install_osx.sh b/travis/install_osx.sh
index e62065a50..8d703a82a 100755
--- a/travis/install_osx.sh
+++ b/travis/install_osx.sh
@@ -69,4 +69,5 @@ install_brew_package z3 # optional
 brew tap homebrew/science
 install_brew_package homebrew/science/glpk
 install_brew_package homebrew/science/hwloc
+install_brew_package eigen
 travis_fold end brew_install_dependencies