.appveyor.yml

   1 environment:
   2     global:
   3         PROJECT_NAME: miri
   4     matrix:
   5         - TARGET: x86_64-pc-windows-msvc
   6         - TARGET: i686-pc-windows-msvc
   7
   8 # branches to build
   9 branches:
  10   # whitelist
  11   only:
  12     - auto
  13     - try
  14
  15 matrix:
  16   fast_finish: true     # set this flag to immediately finish build once one of the jobs fails.
  17
  18 cache:
  19     - '%USERPROFILE%\.cargo'
  20     - '%USERPROFILE%\.rustup'
  21
  22 install:
  23     # Compute the rust version we use
  24     - set /p RUSTC_HASH=<rust-version
  25     # Install Rust
  26     - curl -sSf --retry 3 -o rustup-init.exe https://win.rustup.rs/
  27     - rustup-init.exe -y --default-host %TARGET% --default-toolchain stable --profile minimal
  28     - set PATH=%USERPROFILE%\.cargo\bin;%PATH%
  29     - rustup default stable
  30     - rustup toolchain uninstall beta
  31     - rustup update
  32     # Install "master" toolchain
  33     - cargo install rustup-toolchain-install-master
  34     # We need to install cargo here as well or else the DLL search path inside `cargo run`
  35     # will be for the wrong toolchain. (On Unix, `./miri` takes care of this, but not here.)
  36     - rustup-toolchain-install-master -f -n master %RUSTC_HASH% -c rust-src -c rustc-dev -c cargo
  37     - rustup default master
  38     - rustc --version
  39     - cargo --version
  40
  41 build_script:
  42     - set RUSTFLAGS=-C debug-assertions
  43     # Build and install miri
  44     - cargo build --release --all-features --all-targets --locked
  45     - cargo install --all-features --force --path . --locked --offline
  46     # Get ourselves a MIR-full libstd, and use it henceforth
  47     - cargo miri setup
  48     - set MIRI_SYSROOT=%USERPROFILE%\AppData\Local\rust-lang\miri\cache\HOST
  49
  50 test_script:
  51     - set RUST_TEST_NOCAPTURE=1
  52     - set RUST_BACKTRACE=1
  53     # Test miri
  54     - cargo test --release --all-features --locked
  55     # Test cargo integration
  56     - cd test-cargo-miri
  57     - '"C:\msys64\mingw64\bin\python3.exe" run-test.py'
  58
  59 after_test:
  60     # Don't cache "master" toolchain, it's a waste
  61     - rustup default stable
  62     - rustup toolchain uninstall master
  63
  64 notifications:
  65     - provider: Email
  66       on_build_success: false