Browse Source

Travis dependency already part of docker

tempestpy_adaptions
Matthias Volk 7 years ago
parent
commit
9df6e58127
  1. 2
      travis/build.sh

2
travis/build.sh

@ -28,8 +28,6 @@ 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 libeigen3-dev
# Copy local content into container
docker exec storm mkdir storm
docker cp . storm:/storm

Loading…
Cancel
Save