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