Install eigen package in travis

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

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