language: rust
cache: cargo
rust:
- nightly
before_script:
- export PATH=$HOME/.local/bin:$PATH
- rustup target add i686-unknown-linux-gnu
- rustup target add i686-pc-windows-gnu
- rustup target add i686-pc-windows-msvc
- rustup component add rust-src
- cargo install --git https://github.com/japaric/xargo.git
- export RUST_SYSROOT=$HOME/rust
script:
- set -e
- |
  # get ourselves a MIR-ful libstd
  xargo/build.sh
- |
  # Test plain miri
  cargo build --release --all-features &&
  cargo test --release --all-features --all &&
  cargo install --all-features
- |
  # Test cargo miri
  cd cargo-miri-test &&
  cargo miri &&
  cargo miri test &&
  cd ..
- |
  # and run all tests with full mir
  MIRI_SYSROOT=~/.xargo/HOST cargo test --release
- |
  # test that the rustc_tests binary compiles
  cd rustc_tests &&
  cargo build --release &&
  cd ..
notifications:
  email:
    on_success: never
branches:
  only:
  - master
env:
  global:
  - RUST_TEST_NOCAPTURE=1
  - TRAVIS_CARGO_NIGHTLY_FEATURE=""

language: rust
cache: cargo
rust:
- nightly
before_script:
- export PATH=$HOME/.local/bin:$PATH
- rustup target add i686-unknown-linux-gnu
- rustup target add i686-pc-windows-gnu
- rustup target add i686-pc-windows-msvc
- rustup component add rust-src
- cargo install --git https://github.com/japaric/xargo.git
- export RUST_SYSROOT=$HOME/rust
script:
- set -e
- |
  # get ourselves a MIR-ful libstd
  xargo/build.sh
- |
  # Test plain miri
  cargo build --release --all-features &&
  cargo test --release --all-features --all &&
  cargo install --all-features
- |
  # Test cargo miri
  cd cargo-miri-test &&
  cargo miri &&
  #cargo miri test &&
  cd ..
- |
  # and run all tests with full mir
  MIRI_SYSROOT=~/.xargo/HOST cargo test --release
- |
  # test that the rustc_tests binary compiles
  cd rustc_tests &&
  cargo build --release &&
  cd ..
notifications:
  email:
    on_success: never
branches:
  only:
  - master
env:
  global:
  - RUST_TEST_NOCAPTURE=1
  - TRAVIS_CARGO_NIGHTLY_FEATURE=""

Disable cargo miri test for now
Disable cargo miri test for now
