2017-09-16 13:32:38 +02:00
|
|
|
environment:
|
|
|
|
global:
|
|
|
|
PROJECT_NAME: miri
|
|
|
|
matrix:
|
|
|
|
- TARGET: x86_64-pc-windows-msvc
|
2019-04-04 16:49:16 +01:00
|
|
|
- TARGET: i686-pc-windows-msvc
|
2017-09-16 13:32:38 +02:00
|
|
|
|
2017-09-17 22:02:30 +02:00
|
|
|
# branches to build
|
|
|
|
branches:
|
|
|
|
# whitelist
|
|
|
|
only:
|
|
|
|
- master
|
|
|
|
|
2019-04-04 10:38:49 +01:00
|
|
|
cache:
|
|
|
|
- '%USERPROFILE%\.cargo'
|
|
|
|
- '%USERPROFILE%\.rustup'
|
|
|
|
|
2017-09-16 13:32:38 +02:00
|
|
|
install:
|
2019-04-04 10:38:49 +01:00
|
|
|
# Install Rust
|
2017-09-16 13:32:38 +02:00
|
|
|
- curl -sSf -o rustup-init.exe https://win.rustup.rs/
|
2019-04-04 10:38:49 +01:00
|
|
|
- rustup-init.exe -y --default-host %TARGET% --default-toolchain stable
|
2018-10-01 12:32:22 +02:00
|
|
|
- set PATH=%USERPROFILE%\.cargo\bin;%PATH%
|
2019-04-04 10:38:49 +01:00
|
|
|
# Install "master" toolchain
|
2019-04-06 11:29:35 +02:00
|
|
|
- cargo install rustup-toolchain-install-master & exit 0
|
2019-04-04 10:38:49 +01:00
|
|
|
- set /p RUSTC_HASH=<rust-version
|
|
|
|
- rustup-toolchain-install-master -f -n master %RUSTC_HASH% -c cargo -c rust-src
|
|
|
|
- rustup default master
|
2018-10-01 12:32:22 +02:00
|
|
|
- rustc --version
|
2017-09-16 13:32:38 +02:00
|
|
|
|
2019-04-04 10:38:49 +01:00
|
|
|
build_script:
|
2018-12-19 11:06:35 +01:00
|
|
|
- set RUST_TEST_NOCAPTURE=1
|
2017-09-16 13:32:38 +02:00
|
|
|
- set RUST_BACKTRACE=1
|
2019-04-18 16:44:43 +02:00
|
|
|
- set RUSTFLAGS=-C debug-assertions
|
2018-12-18 19:52:30 +01:00
|
|
|
# Build and install miri
|
2018-11-19 09:42:03 +01:00
|
|
|
- cargo build --release --all-features --all-targets
|
2019-05-29 12:54:19 +02:00
|
|
|
- cargo install --all-features --force --path . --locked --offline
|
2018-11-27 11:46:09 +01:00
|
|
|
# Get ourselves a MIR-full libstd, and use it henceforth
|
2018-12-18 19:52:30 +01:00
|
|
|
- cargo miri setup
|
2018-11-27 11:46:09 +01:00
|
|
|
- set MIRI_SYSROOT=%USERPROFILE%\AppData\Local\miri\miri\cache\HOST
|
2019-04-04 10:38:49 +01:00
|
|
|
|
|
|
|
test_script:
|
2018-12-10 10:19:44 +01:00
|
|
|
# Test miri
|
2018-11-17 14:49:24 +01:00
|
|
|
- cargo test --release --all-features
|
2018-12-18 19:52:30 +01:00
|
|
|
# Test cargo integration
|
|
|
|
- cd test-cargo-miri
|
2019-04-04 16:49:16 +01:00
|
|
|
- '"C:\msys64\mingw64\bin\python3.exe" run-test.py'
|
2017-09-16 13:32:38 +02:00
|
|
|
|
2019-04-04 10:38:49 +01:00
|
|
|
after_test:
|
|
|
|
# Don't cache "master" toolchain, it's a waste
|
|
|
|
- rustup default stable
|
|
|
|
- rustup toolchain uninstall master
|
|
|
|
|
2017-09-16 13:32:38 +02:00
|
|
|
notifications:
|
|
|
|
- provider: Email
|
|
|
|
on_build_success: false
|