File tree 2 files changed +10
-6
lines changed
2 files changed +10
-6
lines changed Original file line number Diff line number Diff line change 11
11
- osx
12
12
13
13
before_script :
14
+ # install extra stuff for cross-compilation
15
+ - if [[ "$TRAVIS_OS_NAME" == linux ]]; then sudo apt install gcc-multilib; fi
14
16
# macOS weirdness (https://github.com/travis-ci/travis-ci/issues/6307, https://github.com/travis-ci/travis-ci/issues/10165)
15
17
- if [[ "$TRAVIS_OS_NAME" == osx ]]; then rvm get stable; fi
16
18
# Compute the rust version we use. We do not use "language: rust" to have more control here.
17
19
- |
18
- if [ "$TRAVIS_EVENT_TYPE" = cron ]; then
20
+ if [[ "$TRAVIS_EVENT_TYPE" == cron ] ]; then
19
21
RUST_TOOLCHAIN=nightly
20
22
else
21
23
RUST_TOOLCHAIN=$(cat rust-version)
@@ -38,10 +40,13 @@ script:
38
40
cargo build --release --all-features --all-targets &&
39
41
cargo install --all-features --force --path .
40
42
- |
41
- # Get ourselves a MIR-full libstd
43
+ # Get ourselves a MIR-full libstd for the host and a foreign architecture
42
44
cargo miri setup &&
43
- cargo miri setup --target i686-unknown-linux-gnu &&
44
- cargo miri setup --target i686-apple-darwin
45
+ if [[ "$TRAVIS_OS_NAME" == osx ]]; then
46
+ cargo miri setup --target i686-apple-darwin
47
+ else
48
+ cargo miri setup --target i686-unknown-linux-gnu
49
+ fi
45
50
- |
46
51
# Test miri with full MIR, on the host and other architectures
47
52
MIRI_SYSROOT=$MIRI_SYSROOT_BASE/HOST cargo test --release --all-features &&
Original file line number Diff line number Diff line change @@ -27,9 +27,8 @@ build: false
27
27
test_script :
28
28
- set RUSTFLAGS=-g
29
29
- set RUST_BACKTRACE=1
30
- # Test plain miri
30
+ # Build miri
31
31
- cargo build --release --all-features --all-targets
32
- - cargo test --release --all-features
33
32
# Get ourselves a MIR-full libstd, and use it henceforth
34
33
- cargo run --release --all-features --bin cargo-miri -- miri setup
35
34
- set MIRI_SYSROOT=%USERPROFILE%\AppData\Local\miri\miri\cache\HOST
You can’t perform that action at this time.
0 commit comments