You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

43 lines
898 B

  1. #!/bin/bash -x
  2. N_JOBS=2
  3. OS=$TRAVIS_OS_NAME
  4. case $OS in
  5. linux)
  6. # Execute docker image on Linux
  7. # Stop previous session
  8. docker rm -f stormpy &>/dev/null
  9. # Run container
  10. set -e
  11. docker run -d -it --name stormpy --privileged mvolk/$DOCKER
  12. # Copy local content into container
  13. docker exec stormpy mkdir opt/stormpy
  14. docker cp . stormpy:/opt/stormpy
  15. # Install virtualenv
  16. docker exec stormpy apt-get install -qq -y python python3 virtualenv
  17. set +e
  18. # Execute main process
  19. docker exec stormpy bash -c "
  20. export N_JOBS=$N_JOBS;
  21. export OS=$OS;
  22. export PYTHON=$PYTHON;
  23. export CONFIG=$CONFIG;
  24. export TASK=$TASK;
  25. cd opt/stormpy;
  26. travis/build-helper.sh"
  27. exit $?
  28. ;;
  29. osx)
  30. echo "MacOS currently unsupported"
  31. exit 1
  32. ;;
  33. *)
  34. # Other OS
  35. echo "Unsupported OS: $OS"
  36. exit 1
  37. esac