global:
PROJECT_NAME: miri
matrix:
- - TARGET: x86_64-pc-windows-msvc
- TARGET: i686-pc-windows-msvc
# branches to build
- rustup-init.exe -y --default-host %TARGET% --default-toolchain stable --profile minimal
- set PATH=%USERPROFILE%\.cargo\bin;%PATH%
- rustup default stable
- - rustup uninstall beta
- - rustup component remove rust-docs & exit 0
+ - rustup toolchain uninstall beta
- rustup update
# Install "master" toolchain
- - cargo install rustup-toolchain-install-master -f
+ - cargo install rustup-toolchain-install-master
# We need to install cargo here as well or else the DLL search path inside `cargo run`
# will be for the wrong toolchain. (On Unix, `./miri` takes care of this, but not here.)
- rustup-toolchain-install-master -f -n master %RUSTC_HASH% -c rust-src -c rustc-dev -c cargo
# Build and install miri
- cargo build --release --all-features --all-targets --locked
- cargo install --all-features --force --path . --locked --offline
- # Get ourselves a MIR-full libstd, and use it henceforth
- - cargo miri setup
- - set MIRI_SYSROOT=%USERPROFILE%\AppData\Local\rust-lang\miri\cache\HOST
test_script:
- set RUST_TEST_NOCAPTURE=1
- set RUST_BACKTRACE=1
- # Test miri
+ - set CARGO_INCREMENTAL=0
+ # Test host miri: 32bit Windows
+ - cargo miri setup
+ - set MIRI_SYSROOT=%USERPROFILE%\AppData\Local\rust-lang\miri\cache\HOST
+ - cargo test --release --all-features --locked
+ - cd test-cargo-miri
+ - '"C:\msys64\mingw64\bin\python3.exe" run-test.py'
+ - cd ..
+ - ps: $env:MIRI_SYSROOT = ""
+ # Test foreign miri: 64bit Linux
+ - cargo miri setup --target x86_64-unknown-linux-gnu
+ - set MIRI_SYSROOT=%USERPROFILE%\AppData\Local\rust-lang\miri\cache
+ - set MIRI_TEST_TARGET=x86_64-unknown-linux-gnu
+ - cargo test --release --all-features --locked
+ - cd test-cargo-miri
+ - '"C:\msys64\mingw64\bin\python3.exe" run-test.py'
+ - cd ..
+ - ps: $env:MIRI_SYSROOT = ""
+ # Test foreign miri: 64bit macOS
+ - cargo miri setup --target x86_64-apple-darwin
+ - set MIRI_SYSROOT=%USERPROFILE%\AppData\Local\rust-lang\miri\cache
+ - set MIRI_TEST_TARGET=x86_64-apple-darwin
- cargo test --release --all-features --locked
- # Test cargo integration
- cd test-cargo-miri
- '"C:\msys64\mingw64\bin\python3.exe" run-test.py'
+ - cd ..
+ - ps: $env:MIRI_SYSROOT = ""
after_test:
# Don't cache "master" toolchain, it's a waste