travis-common.sh

   1 set -e
   2
   3 HACKAGE_REPO_TOOL_VERSION="0.1.1"
   4 CABAL_VERSION="2.1.0.0"
   5
   6 if [ "$TRAVIS_OS_NAME" = "linux" ]; then
   7     ARCH="x86_64-linux"
   8 else
   9     ARCH="x86_64-osx"
  10 fi
  11
  12 CABAL_STORE_DB="${HOME}/.cabal/store/ghc-${GHCVER}/package.db"
  13 CABAL_LOCAL_DB="${TRAVIS_BUILD_DIR}/dist-newstyle/packagedb/ghc-${GHCVER}"
  14 CABAL_BDIR="${TRAVIS_BUILD_DIR}/dist-newstyle/build/$ARCH/ghc-$GHCVER/Cabal-${CABAL_VERSION}"
  15 CABAL_TESTSUITE_BDIR="${TRAVIS_BUILD_DIR}/dist-newstyle/build/$ARCH/ghc-$GHCVER/cabal-testsuite-${CABAL_VERSION}"
  16 CABAL_INSTALL_BDIR="${TRAVIS_BUILD_DIR}/dist-newstyle/build/$ARCH/ghc-$GHCVER/cabal-install-${CABAL_VERSION}"
  17 CABAL_INSTALL_SETUP="${CABAL_INSTALL_BDIR}/setup/setup"
  18 SOLVER_BENCHMARKS_BDIR="${TRAVIS_BUILD_DIR}/dist-newstyle/build/$ARCH/ghc-$GHCVER/solver-benchmarks-${CABAL_VERSION}"
  19 HACKAGE_REPO_TOOL_BDIR="${TRAVIS_BUILD_DIR}/dist-newstyle/build/$ARCH/ghc-$GHCVER/hackage-repo-tool-${HACKAGE_REPO_TOOL_VERSION}/c/hackage-repo-tool"
  20
  21 # ---------------------------------------------------------------------
  22 # Timing / diagnostic output
  23 # ---------------------------------------------------------------------
  24
  25 JOB_START_TIME=$(date +%s)
  26
  27 timed() {
  28     echo "\$ $*"
  29     start_time=$(date +%s)
  30
  31         # Run the job
  32     $* || exit $?
  33
  34         # Calculate the durations
  35     end_time=$(date +%s)
  36     duration=$((end_time - start_time))
  37         total_duration=$((end_time - JOB_START_TIME))
  38
  39         # Print them
  40     echo "$* took $duration seconds."
  41     echo "whole job took $total_duration seconds so far."
  42
  43         # Terminate on OSX
  44         if [ $total_duration -ge 2400 -a $(uname) = "Darwin" ]; then
  45                 echo "Job taking over 40 minutes. Terminating"
  46                 exit 1
  47         fi
  48     echo "----"
  49 }
  50
  51 travis_retry () {
  52     $*  || (sleep 1 && $*) || (sleep 2 && $*)
  53 }