.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 cache:
  16     - '%USERPROFILE%\.cargo'
  17     - '%USERPROFILE%\.rustup'
  18
  19 install:
  20     # Compute the rust version we use
  21     - set /p RUSTC_HASH=<rust-version
  22     # Install Rust
  23     - curl -sSf --retry 3 -o rustup-init.exe https://win.rustup.rs/
  24     - rustup-init.exe -y --default-host %TARGET% --default-toolchain stable
  25     - set PATH=%USERPROFILE%\.cargo\bin;%PATH%
  26     - rustup default stable
  27     - rustup uninstall beta
  28     - rustup update
  29     # Install "master" toolchain
  30     - cargo install rustup-toolchain-install-master & exit 0
  31     - rustup-toolchain-install-master -f -n master %RUSTC_HASH% -c cargo -c rust-src
  32     - rustup default master
  33     - rustc --version
  34     - cargo --version
  35
  36 build_script:
  37     - set RUSTFLAGS=-C debug-assertions
  38     # Build and install miri
  39     - cargo build --release --all-features --all-targets
  40     - cargo install --all-features --force --path . --locked --offline
  41     # Get ourselves a MIR-full libstd, and use it henceforth
  42     - cargo miri setup
  43     - set MIRI_SYSROOT=%USERPROFILE%\AppData\Local\rust-lang\miri\cache\HOST
  44
  45 test_script:
  46     - set RUST_TEST_NOCAPTURE=1
  47     - set RUST_BACKTRACE=1
  48     # Test miri
  49     - cargo test --release --all-features
  50     # Test cargo integration
  51     - cd test-cargo-miri
  52     - '"C:\msys64\mingw64\bin\python3.exe" run-test.py'
  53
  54 after_test:
  55     # Don't cache "master" toolchain, it's a waste
  56     - rustup default stable
  57     - rustup toolchain uninstall master
  58
  59 notifications:
  60     - provider: Email
  61       on_build_success: false