run test-cargo-miri on Windows

This commit is contained in:
Ralf Jung 2018-12-18 19:52:30 +01:00
parent 51ed485ba4
commit e7c523f72e

View file

@ -27,13 +27,17 @@ build: false
test_script:
- set RUST_TEST_NOCAPTURE=1
- set RUST_BACKTRACE=1
# Build miri
# Build and install miri
- cargo build --release --all-features --all-targets
- cargo install --all-features --force --path .
# Get ourselves a MIR-full libstd, and use it henceforth
- cargo run --release --all-features --bin cargo-miri -- miri setup
- cargo miri setup
- set MIRI_SYSROOT=%USERPROFILE%\AppData\Local\miri\miri\cache\HOST
# Test miri
- cargo test --release --all-features
# Test cargo integration
- cd test-cargo-miri
- python3 run-test.py
notifications:
- provider: Email