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