Merge pull request #280 from solson/archeology

Produce backtraces for miri internals

Author: oli-obk

.travis.yml

@@ -15,8 +15,8 @@ script:
   xargo/build.sh
 - |
   # Test plain miri
-  cargo build &&
-  cargo test &&
+  cargo build --release &&
+  cargo test --release &&
   cargo install
 - |
   # Test cargo miri
@@ -26,11 +26,11 @@ script:
   cd ..
 - |
   # and run all tests with full mir
-  MIRI_SYSROOT=~/.xargo/HOST cargo test
+  MIRI_SYSROOT=~/.xargo/HOST cargo test --release
 - |
   # test that the rustc_tests binary compiles
   cd rustc_tests &&
-  cargo build &&
+  cargo build --release &&
   cd ..
 notifications:
   email:

Cargo.lock

@@ -5,6 +5,7 @@ license = "MIT/Apache-2.0"
 name = "miri"
 repository = "https://github.com/solson/miri"
 version = "0.1.0"
+build = "build.rs"
 
 [[bin]]
 doc = false

Cargo.toml

@@ -0,0 +1,6 @@
+use std::env;
+
+fn main() {
+    // Forward the profile to the main compilation
+    println!("cargo:rustc-env=PROFILE={}", env::var("PROFILE").unwrap());
+}