.travis.yml

   1 language: generic
   2 cache:
   3   # Cache the global cargo directory, but NOT the local `target` directory which
   4   # we cannot reuse anyway when the nightly changes (and it grows quite large
   5   # over time).
   6   directories:
   7     - /home/travis/.cargo
   8
   9 os:
  10 - linux
  11 - osx
  12 dist: xenial
  13
  14 before_script:
  15 # install extra stuff for cross-compilation
  16 - if [[ "$TRAVIS_OS_NAME" == linux ]]; then sudo apt update && sudo apt install gcc-multilib; fi
  17 # macOS weirdness (https://github.com/travis-ci/travis-ci/issues/6307, https://github.com/travis-ci/travis-ci/issues/10165)
  18 - if [[ "$TRAVIS_OS_NAME" == osx ]]; then rvm get stable; fi
  19 # Compute the rust version we use. We do not use "language: rust" to have more control here.
  20 - |
  21   if [[ "$TRAVIS_EVENT_TYPE" == cron ]]; then
  22     RUST_TOOLCHAIN=nightly
  23   else
  24     RUST_TOOLCHAIN=$(cat rust-version)
  25   fi
  26 - |
  27   if [ "$TRAVIS_OS_NAME" == osx ]; then
  28     export MIRI_SYSROOT_BASE=~/Library/Caches/miri.miri.miri/
  29   else
  30     export MIRI_SYSROOT_BASE=~/.cache/miri/
  31   fi
  32 - |
  33   if [[ "$TRAVIS_OS_NAME" == osx ]]; then
  34     FOREIGN_TARGET=i686-apple-darwin
  35   else
  36     FOREIGN_TARGET=i686-unknown-linux-gnu
  37   fi
  38 # install Rust
  39 - curl https://build.travis-ci.org/files/rustup-init.sh -sSf | sh -s -- -y --default-toolchain "$RUST_TOOLCHAIN"
  40 - export PATH=$HOME/.cargo/bin:$PATH
  41 - rustc --version
  42
  43 script:
  44 - set -e
  45 - |
  46   # Build and install miri
  47   cargo build --release --all-features --all-targets &&
  48   cargo install --all-features --force --path .
  49 - |
  50   # Get ourselves a MIR-full libstd for the host and a foreign architecture
  51   cargo miri setup &&
  52   cargo miri setup --target "$FOREIGN_TARGET"
  53 - |
  54   # Test miri with full MIR, on the host and other architectures
  55   MIRI_SYSROOT=$MIRI_SYSROOT_BASE/HOST cargo test --release --all-features &&
  56   MIRI_SYSROOT=$MIRI_SYSROOT_BASE MIRI_TARGET=$FOREIGN_TARGET cargo test --release --all-features
  57 - |
  58   # Test cargo integration
  59   (cd test-cargo-miri && MIRI_SYSROOT=$MIRI_SYSROOT_BASE/HOST ./run-test.py)
  60
  61 notifications:
  62   email:
  63     on_success: never
  64 branches:
  65   only:
  66   - master
  67 env:
  68   global:
  69   - RUST_TEST_NOCAPTURE=1