4 # Determine configuration
5 if [ "$TRAVIS_OS_NAME" == osx ]; then
6 MIRI_SYSROOT_BASE=~/Library/Caches/miri.miri.miri/
7 FOREIGN_TARGET=i686-apple-darwin
9 MIRI_SYSROOT_BASE=~/.cache/miri/
10 FOREIGN_TARGET=i686-unknown-linux-gnu
14 echo "Build and install miri"
15 cargo build --release --all-features --all-targets
16 cargo install --all-features --force --path .
19 echo "Get ourselves a MIR-full libstd for the host and a foreign architecture"
21 cargo miri setup --target "$FOREIGN_TARGET"
26 cargo test --release --all-features
27 (cd test-cargo-miri && ./run-test.py)
30 echo "Test host architecture"
31 export MIRI_SYSROOT="$MIRI_SYSROOT_BASE"/HOST
35 echo "Test foreign architecture ($FOREIGN_TARGET)"
36 export MIRI_SYSROOT="$MIRI_SYSROOT_BASE" MIRI_TEST_TARGET="$FOREIGN_TARGET"