|
@ -13,7 +13,7 @@ linux) |
|
|
set -e |
|
|
set -e |
|
|
docker run -d -it --name stormpy --privileged movesrwth/$DOCKER |
|
|
docker run -d -it --name stormpy --privileged movesrwth/$DOCKER |
|
|
# Copy local content into container |
|
|
# Copy local content into container |
|
|
docker exec stormpy mkdir opt/stormpy |
|
|
|
|
|
|
|
|
docker exec stormpy mkdir /opt/stormpy |
|
|
docker cp . stormpy:/opt/stormpy |
|
|
docker cp . stormpy:/opt/stormpy |
|
|
# Install virtualenv |
|
|
# Install virtualenv |
|
|
docker exec stormpy apt-get update |
|
|
docker exec stormpy apt-get update |
|
@ -27,7 +27,7 @@ linux) |
|
|
export PYTHON=$PYTHON; |
|
|
export PYTHON=$PYTHON; |
|
|
export CONFIG=$CONFIG; |
|
|
export CONFIG=$CONFIG; |
|
|
export TASK=$TASK; |
|
|
export TASK=$TASK; |
|
|
cd opt/stormpy; |
|
|
|
|
|
|
|
|
cd /opt/stormpy; |
|
|
travis/build-helper.sh" |
|
|
travis/build-helper.sh" |
|
|
exit $? |
|
|
exit $? |
|
|
;; |
|
|
;; |
|
|