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