.appveyor.yml

   1 environment:
   2     global:
   3         PROJECT_NAME: miri
   4     matrix:
   5         - TARGET: x86_64-pc-windows-msvc
   6           MSYS2_BITS: 64
   7         - TARGET: i686-pc-windows-msvc
   8           MSYS2_BITS: 32
   9
  10 # branches to build
  11 branches:
  12   # whitelist
  13   only:
  14     - master
  15
  16 install:
  17     # Install Rust.
  18     - set PATH=C:\Program Files\Git\mingw64\bin;C:\msys64\mingw%MSYS2_BITS%\bin;%PATH%
  19     - set /p RUST_TOOLCHAIN=<rust-version
  20     - curl -sSf -o rustup-init.exe https://win.rustup.rs/
  21     - rustup-init.exe -y --default-host %TARGET% --default-toolchain %RUST_TOOLCHAIN%
  22     - set PATH=%USERPROFILE%\.cargo\bin;%PATH%
  23     - rustc --version
  24
  25 build: false
  26
  27 test_script:
  28     - set RUST_TEST_NOCAPTURE=1
  29     - set RUST_BACKTRACE=1
  30     # Build and install miri
  31     - cargo build --release --all-features --all-targets
  32     - cargo install --all-features --force --path .
  33     # Get ourselves a MIR-full libstd, and use it henceforth
  34     - cargo miri setup
  35     - set MIRI_SYSROOT=%USERPROFILE%\AppData\Local\miri\miri\cache\HOST
  36     # Test miri
  37     - cargo test --release --all-features
  38     # Test cargo integration
  39     - cd test-cargo-miri
  40     - python3 run-test.py
  41
  42 notifications:
  43     - provider: Email
  44       on_build_success: false