Aug 30 18:27:45.153 INFO checking falcon-z3-0.4.0 against master#ede55518431154bc761f7b2438cce9078c162700 for pr-53707 Aug 30 18:27:45.153 INFO running: cargo +ede55518431154bc761f7b2438cce9078c162700-alt check --frozen --all --all-targets Aug 30 18:27:45.153 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-2/pr-53707/master#ede55518431154bc761f7b2438cce9078c162700:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53707/worker-2/master#ede55518431154bc761f7b2438cce9078c162700:/target:rw,Z" "-v" "/home/ec2-user/crater/./work/local/cargo-home:/cargo-home:ro,Z" "-v" "/home/ec2-user/crater/./work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=500" "-e" "CMD=cargo +ede55518431154bc761f7b2438cce9078c162700-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"` Aug 30 18:27:45.316 INFO blam! 87acbf4d31aa441432c2549014a764a47e9c356321ea2f7d4692d05e6bdb2563 Aug 30 18:27:45.318 INFO running `"docker" "start" "-a" "87acbf4d31aa441432c2549014a764a47e9c356321ea2f7d4692d05e6bdb2563"` Aug 30 18:27:46.293 INFO kablam! Compiling num-bigint v0.2.0 Aug 30 18:27:46.299 INFO kablam! Compiling scroll_derive v0.9.4 Aug 30 18:27:46.301 INFO kablam! Compiling falcon-z3 v0.4.0 (file:///source) Aug 30 18:27:46.301 INFO kablam! Compiling falcon_capstone v0.2.1 Aug 30 18:27:56.677 INFO kablam! Checking scroll v0.9.0 Aug 30 18:27:58.546 INFO kablam! error: failed to run custom build command for `falcon-z3 v0.4.0 (file:///source)` Aug 30 18:27:58.546 INFO kablam! process didn't exit successfully: `/target/debug/build/falcon-z3-7ab2284539f96e63/build-script-build` (exit code: 101) Aug 30 18:27:58.546 INFO kablam! --- stdout Aug 30 18:27:58.546 INFO kablam! cargo:rustc-link-lib=z3 Aug 30 18:27:58.546 INFO kablam! Aug 30 18:27:58.546 INFO kablam! --- stderr Aug 30 18:27:58.546 INFO kablam! lib/header.h:1:10: fatal error: 'z3.h' file not found Aug 30 18:27:58.546 INFO kablam! lib/header.h:1:10: fatal error: 'z3.h' file not found, err: true Aug 30 18:27:58.546 INFO kablam! thread 'main' panicked at 'Unable to generate bindings: ()', libcore/result.rs:983:5 Aug 30 18:27:58.546 INFO kablam! stack backtrace: Aug 30 18:27:58.546 INFO kablam! 0: 0x55918863defe - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h2e24c3aef5ef21db Aug 30 18:27:58.546 INFO kablam! at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49 Aug 30 18:27:58.546 INFO kablam! 1: 0x55918862d6c6 - std::sys_common::backtrace::print::hc5f2ea19f5e117e2 Aug 30 18:27:58.546 INFO kablam! at libstd/sys_common/backtrace.rs:71 Aug 30 18:27:58.546 INFO kablam! at libstd/sys_common/backtrace.rs:59 Aug 30 18:27:58.546 INFO kablam! 2: 0x55918862b9fd - std::panicking::default_hook::{{closure}}::h708048e2809fc48c Aug 30 18:27:58.546 INFO kablam! at libstd/panicking.rs:211 Aug 30 18:27:58.546 INFO kablam! 3: 0x55918862b770 - std::panicking::default_hook::h6b6759214d380e57 Aug 30 18:27:58.546 INFO kablam! at libstd/panicking.rs:227 Aug 30 18:27:58.546 INFO kablam! 4: 0x55918862c06c - std::panicking::rust_panic_with_hook::h1e37970c6180beb4 Aug 30 18:27:58.547 INFO kablam! at libstd/panicking.rs:477 Aug 30 18:27:58.547 INFO kablam! 5: 0x55918862bc69 - std::panicking::continue_panic_fmt::hce97aa0d82e066bf Aug 30 18:27:58.547 INFO kablam! at libstd/panicking.rs:391 Aug 30 18:27:58.547 INFO kablam! 6: 0x55918862bb65 - rust_begin_unwind Aug 30 18:27:58.547 INFO kablam! at libstd/panicking.rs:326 Aug 30 18:27:58.547 INFO kablam! 7: 0x559188684f0b - core::panicking::panic_fmt::h412bc2b363ac7f01 Aug 30 18:27:58.547 INFO kablam! at libcore/panicking.rs:77 Aug 30 18:27:58.547 INFO kablam! 8: 0x55918809953b - core::result::unwrap_failed::h90b89385550d237c Aug 30 18:27:58.547 INFO kablam! at /checkout/src/libcore/macros.rs:26 Aug 30 18:27:58.547 INFO kablam! 9: 0x55918809938e - >::expect::ha20d9e186e840485 Aug 30 18:27:58.547 INFO kablam! at /checkout/src/libcore/result.rs:809 Aug 30 18:27:58.547 INFO kablam! 10: 0x559188098c49 - build_script_build::main::haa6643701248e50b Aug 30 18:27:58.547 INFO kablam! at /source/build.rs:9 Aug 30 18:27:58.547 INFO kablam! 11: 0x55918809ad3f - std::rt::lang_start::{{closure}}::h3d273e7790b8a374 Aug 30 18:27:58.547 INFO kablam! at /checkout/src/libstd/rt.rs:74 Aug 30 18:27:58.547 INFO kablam! 12: 0x55918862bb02 - std::panicking::try::do_call::h34654e345c0ff9fc Aug 30 18:27:58.547 INFO kablam! at libstd/rt.rs:59 Aug 30 18:27:58.547 INFO kablam! at libstd/panicking.rs:310 Aug 30 18:27:58.547 INFO kablam! 13: 0x55918864f6b9 - __rust_maybe_catch_panic Aug 30 18:27:58.547 INFO kablam! at libpanic_unwind/lib.rs:102 Aug 30 18:27:58.547 INFO kablam! 14: 0x559188638865 - std::rt::lang_start_internal::h0b4f47076f8cba18 Aug 30 18:27:58.547 INFO kablam! at libstd/panicking.rs:289 Aug 30 18:27:58.547 INFO kablam! at libstd/panic.rs:392 Aug 30 18:27:58.547 INFO kablam! at libstd/rt.rs:58 Aug 30 18:27:58.547 INFO kablam! 15: 0x55918809ad17 - std::rt::lang_start::hb0df397192860315 Aug 30 18:27:58.547 INFO kablam! at /checkout/src/libstd/rt.rs:74 Aug 30 18:27:58.547 INFO kablam! 16: 0x559188098da9 - main Aug 30 18:27:58.547 INFO kablam! 17: 0x7f32a87c282f - __libc_start_main Aug 30 18:27:58.547 INFO kablam! 18: 0x559188098408 - _start Aug 30 18:27:58.547 INFO kablam! 19: 0x0 - Aug 30 18:27:58.547 INFO kablam! Aug 30 18:27:58.548 INFO kablam! warning: build failed, waiting for other jobs to finish... Aug 30 18:27:59.498 INFO kablam! error: build failed Aug 30 18:27:59.500 INFO kablam! su: No module specific data is present Aug 30 18:28:00.049 INFO running `"docker" "rm" "-f" "87acbf4d31aa441432c2549014a764a47e9c356321ea2f7d4692d05e6bdb2563"` Aug 30 18:28:00.146 INFO blam! 87acbf4d31aa441432c2549014a764a47e9c356321ea2f7d4692d05e6bdb2563