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.

63 lines
1.2 KiB

8 years ago
  1. #!/bin/bash -x
  2. # Inspired by https://github.com/google/fruit
  3. : ${N_JOBS:=2}
  4. : ${TIMEOUT_MAC:=1800}
  5. : ${TIMEOUT_LINUX:=2000}
  6. if [ "$STL" != "" ]
  7. then
  8. STLARG="-stdlib=$STL"
  9. fi
  10. case $OS in
  11. linux)
  12. # Execute docker image on linux
  13. # Stop previous session
  14. docker rm -f storm &>/dev/null
  15. # Run container
  16. set -e
  17. docker run -d -it --name storm --privileged mvolk/storm-basesystem:$LINUX
  18. # Copy local content into container
  19. docker exec storm mkdir storm
  20. docker cp . storm:/storm
  21. set +e
  22. # Execute main process
  23. timeout $TIMEOUT_LINUX docker exec storm bash -c "
  24. export COMPILER=$COMPILER;
  25. export N_JOBS=$N_JOBS;
  26. export STLARG=$STLARG;
  27. export OS=$OS;
  28. cd storm;
  29. travis/build-helper.sh $1 $2"
  30. EXITCODE=$?
  31. if [ $EXITCODE = 124 ] && [ "$2" = "BuildLib1" ]
  32. then
  33. exit 0
  34. else
  35. exit $EXITCODE
  36. fi
  37. ;;
  38. osx)
  39. # Mac OSX
  40. export COMPILER
  41. export N_JOBS
  42. export STLARG
  43. export OS
  44. gtimeout $TIMEOUT_MAC travis/build-helper.sh "$1" "$2"
  45. EXITCODE=$?
  46. if [ $EXITCODE = 124 ] && [ "$2" = "BuildLib1" ]
  47. then
  48. exit 0
  49. else
  50. exit $EXITCODE
  51. fi
  52. ;;
  53. *)
  54. # Other OS
  55. echo "Unsupported OS: $OS"
  56. exit 1
  57. esac