rust/.travis.yml

63 lines
1.7 KiB
YAML
Raw Normal View History

language: generic
cache:
# Cache the global cargo directory, but NOT the local `target` directory which
# we cannot reuse anyway when the nightly changes (and it grows quite large
# over time).
directories:
- /home/travis/.cargo
2017-07-19 08:06:21 -05:00
os:
- linux
- osx
2017-07-19 08:06:21 -05:00
2016-04-13 17:10:31 -05:00
before_script:
2018-11-25 10:30:50 -06:00
# macOS weirdness (https://github.com/travis-ci/travis-ci/issues/6307, https://github.com/travis-ci/travis-ci/issues/10165)
2018-10-30 09:07:40 -05:00
- if [[ "$TRAVIS_OS_NAME" == osx ]]; then rvm get stable; fi
# Compute the rust version we use. We do not use "language: rust" to have more control here.
- |
if [ "$TRAVIS_EVENT_TYPE" = cron ]; then
RUST_TOOLCHAIN=nightly
else
RUST_TOOLCHAIN=$(cat rust-version)
fi
# install Rust
- curl https://build.travis-ci.org/files/rustup-init.sh -sSf | sh -s -- -y --default-toolchain "$RUST_TOOLCHAIN"
- export PATH=$HOME/.cargo/bin:$PATH
- rustc --version
# customize installation
2017-03-23 09:52:11 -05:00
- rustup target add i686-unknown-linux-gnu
- rustup target add i686-pc-windows-gnu
- rustup target add i686-pc-windows-msvc
2016-04-13 17:10:31 -05:00
script:
2017-08-18 04:42:00 -05:00
- set -e
2017-06-21 01:55:32 -05:00
- |
# Test and install plain miri
2018-11-17 06:57:45 -06:00
cargo build --release --all-features --all-targets &&
2018-10-30 05:26:53 -05:00
cargo test --release --all-features &&
cargo install --all-features --force --path .
- |
2018-11-27 04:46:09 -06:00
# Get ourselves a MIR-full libstd, and use it henceforth
2018-11-25 10:17:21 -06:00
cargo miri setup &&
2018-11-27 04:46:09 -06:00
if [ "$TRAVIS_OS_NAME" == osx ]; then
export MIRI_SYSROOT=~/Library/Caches/miri.miri.miri/HOST
else
export MIRI_SYSROOT=~/.cache/miri/HOST
fi
2018-10-30 05:26:53 -05:00
- |
2018-11-25 10:30:50 -06:00
# Test miri with full MIR
2018-10-30 05:26:53 -05:00
cargo test --release --all-features
- |
# Test cargo integration
2018-10-30 05:26:53 -05:00
(cd cargo-miri-test && ./run-test.py)
2016-04-13 17:10:31 -05:00
notifications:
email:
on_success: never
2017-09-09 04:28:24 -05:00
branches:
only:
- master
2016-04-15 09:50:36 -05:00
env:
global:
- RUST_TEST_NOCAPTURE=1