rust-lang
diff --git a/‎.travis.yml
Lines changed: 4 additions & 3 deletions b/‎.travis.yml
Lines changed: 4 additions & 3 deletions
diff --git a/‎Cargo.toml renamed to ‎src/libmiri/Cargo.toml b/‎Cargo.toml renamed to ‎src/libmiri/Cargo.toml
diff --git a/‎src/bin/cargo-miri.rs renamed to ‎src/libmiri/src/bin/cargo-miri.rs b/‎src/bin/cargo-miri.rs renamed to ‎src/libmiri/src/bin/cargo-miri.rs
diff --git a/‎src/bin/miri.rs renamed to ‎src/libmiri/src/bin/miri.rs b/‎src/bin/miri.rs renamed to ‎src/libmiri/src/bin/miri.rs
diff --git a/‎src/cast.rs renamed to ‎src/libmiri/src/cast.rs b/‎src/cast.rs renamed to ‎src/libmiri/src/cast.rs
diff --git a/‎src/const_eval.rs renamed to ‎src/libmiri/src/const_eval.rs b/‎src/const_eval.rs renamed to ‎src/libmiri/src/const_eval.rs
diff --git a/‎src/error.rs renamed to ‎src/libmiri/src/error.rs b/‎src/error.rs renamed to ‎src/libmiri/src/error.rs
diff --git a/‎src/eval_context.rs renamed to ‎src/libmiri/src/eval_context.rs b/‎src/eval_context.rs renamed to ‎src/libmiri/src/eval_context.rs
diff --git a/‎src/lib.rs renamed to ‎src/libmiri/src/lib.rs b/‎src/lib.rs renamed to ‎src/libmiri/src/lib.rs
diff --git a/‎src/lvalue.rs renamed to ‎src/libmiri/src/lvalue.rs b/‎src/lvalue.rs renamed to ‎src/libmiri/src/lvalue.rs
diff --git a/‎src/memory.rs renamed to ‎src/libmiri/src/memory.rs b/‎src/memory.rs renamed to ‎src/libmiri/src/memory.rs
diff --git a/‎src/operator.rs renamed to ‎src/libmiri/src/operator.rs b/‎src/operator.rs renamed to ‎src/libmiri/src/operator.rs
diff --git a/‎src/step.rs renamed to ‎src/libmiri/src/step.rs b/‎src/step.rs renamed to ‎src/libmiri/src/step.rs
diff --git a/‎src/terminator/drop.rs renamed to ‎src/libmiri/src/terminator/drop.rs b/‎src/terminator/drop.rs renamed to ‎src/libmiri/src/terminator/drop.rs
diff --git a/‎src/terminator/intrinsic.rs renamed to ‎src/libmiri/src/terminator/intrinsic.rs b/‎src/terminator/intrinsic.rs renamed to ‎src/libmiri/src/terminator/intrinsic.rs
diff --git a/‎src/terminator/mod.rs renamed to ‎src/libmiri/src/terminator/mod.rs b/‎src/terminator/mod.rs renamed to ‎src/libmiri/src/terminator/mod.rs
diff --git a/‎src/traits.rs renamed to ‎src/libmiri/src/traits.rs b/‎src/traits.rs renamed to ‎src/libmiri/src/traits.rs
diff --git a/‎src/value.rs renamed to ‎src/libmiri/src/value.rs b/‎src/value.rs renamed to ‎src/libmiri/src/value.rs
@@ -15,9 +15,10 @@ script:
   xargo/build.sh
 - |
   # Test plain miri
-  cargo build &&
+  cd src/libmiri/ && cargo build &&
   cargo test &&
-  cargo install
+  cargo install &&
+  cd ../..
 - |
   # Test cargo miri
   cd cargo-miri-test &&
@@ -26,7 +27,7 @@ script:
   cd ..
 - |
   # and run all tests with full mir
-  MIRI_SYSROOT=~/.xargo/HOST cargo test
+  cd src/libmiri/ && MIRI_SYSROOT=~/.xargo/HOST cargo test && cd ../..
 notifications:
   email:
     on_success: never