test that build scripts do not run in Miri

diff --git a/test-cargo-miri/Cargo.toml b/test-cargo-miri/Cargo.toml
index 3abb437049f0f0a710ca9c2b31660992f9e83da2..c2460014b66355499899477fb94a16fb7f8e74cd 100644 (file)
--- a/test-cargo-miri/Cargo.toml
+++ b/test-cargo-miri/Cargo.toml
@@ -3,6 +3,7 @@ name = "cargo-miri-test"
 version = "0.1.0"
 authors = ["Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de>"]
 edition = "2018"
+build = "build.rs"
 
 [dependencies]
 byteorder = "1.0"

diff --git a/test-cargo-miri/build.rs b/test-cargo-miri/build.rs
new file mode 100644 (file)
index 0000000..950fc3c
--- /dev/null
+++ b/test-cargo-miri/build.rs
@@ -0,0 +1,15 @@
+#![feature(asm)]
+
+fn not_in_miri() -> i32 {
+    // Inline assembly definitely does not work in Miri.
+    let dummy = 42;
+    unsafe {
+        asm!("" : : "r"(&dummy));
+    }
+    return dummy;
+}
+
+fn main() {
+    not_in_miri();
+    println!("cargo:rerun-if-changed=build.rs");
+}