Aug 02 10:24:48.631 INFO checking falcon-z3-0.3.1 against 1.27.2+tmplazy for lazy_static-1 Aug 02 10:24:48.631 INFO running: cargo +1.27.2 check --frozen --all --all-targets Aug 02 10:24:48.631 INFO creating container for: cargo +1.27.2 check --frozen --all --all-targets Aug 02 10:24:48.631 INFO running `"docker" "create" "-v" "/tmp/crater.gqmSZ6jrT957:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/lazy_static-1/worker-1/1.27.2+tmplazy:/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" "-v" "/home/ec2-user/crater/./work/local/cargo-home/git:/cargo-home/git:rw,Z" "-e" "USER_ID=500" "-e" "CMD=cargo +1.27.2 check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "crater"` Aug 02 10:24:48.777 INFO blam! 9da03efdf6c862ccca8991d0dfc5379762f3c3cac11b42fa12c2716b4f695ca2 Aug 02 10:24:48.781 INFO running `"docker" "start" "-a" "9da03efdf6c862ccca8991d0dfc5379762f3c3cac11b42fa12c2716b4f695ca2"` Aug 02 10:24:50.116 INFO kablam! Compiling num-bigint v0.2.0 Aug 02 10:24:50.125 INFO kablam! Compiling scroll_derive v0.9.4 Aug 02 10:24:50.125 INFO kablam! Compiling falcon-z3 v0.3.1 (file:///source) Aug 02 10:24:50.125 INFO kablam! Compiling falcon_capstone v0.2.1 Aug 02 10:25:00.769 INFO kablam! Checking scroll v0.9.0 Aug 02 10:25:03.518 INFO kablam! Checking goblin v0.0.15 Aug 02 10:25:03.979 INFO kablam! error: failed to run custom build command for `falcon-z3 v0.3.1 (file:///source)` Aug 02 10:25:03.979 INFO kablam! process didn't exit successfully: `/target/debug/build/falcon-z3-715cfc48333714dc/build-script-build` (exit code: 101) Aug 02 10:25:03.979 INFO kablam! --- stdout Aug 02 10:25:03.979 INFO kablam! cargo:rustc-link-lib=z3 Aug 02 10:25:03.979 INFO kablam! Aug 02 10:25:03.979 INFO kablam! --- stderr Aug 02 10:25:03.979 INFO kablam! lib/header.h:1:10: fatal error: 'z3.h' file not found Aug 02 10:25:03.979 INFO kablam! lib/header.h:1:10: fatal error: 'z3.h' file not found, err: true Aug 02 10:25:03.979 INFO kablam! thread 'main' panicked at 'Unable to generate bindings: ()', libcore/result.rs:945:5 Aug 02 10:25:03.979 INFO kablam! stack backtrace: Aug 02 10:25:03.979 INFO kablam! 0: 0x55e385f9f17e - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::hd95e7c7781a77231 Aug 02 10:25:03.979 INFO kablam! at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49 Aug 02 10:25:03.979 INFO kablam! 1: 0x55e385fa78b6 - std::sys_common::backtrace::print::h5c2c751288aab677 Aug 02 10:25:03.979 INFO kablam! at libstd/sys_common/backtrace.rs:71 Aug 02 10:25:03.979 INFO kablam! at libstd/sys_common/backtrace.rs:59 Aug 02 10:25:03.979 INFO kablam! 2: 0x55e385f8e46b - std::panicking::default_hook::{{closure}}::h613226a9bb10326e Aug 02 10:25:03.979 INFO kablam! at libstd/panicking.rs:211 Aug 02 10:25:03.979 INFO kablam! 3: 0x55e385f8e143 - std::panicking::default_hook::h8250355a3b9c55df Aug 02 10:25:03.979 INFO kablam! at libstd/panicking.rs:227 Aug 02 10:25:03.979 INFO kablam! 4: 0x55e385f8ea8e - std::panicking::rust_panic_with_hook::h6617a62274b53c0e Aug 02 10:25:03.979 INFO kablam! at libstd/panicking.rs:463 Aug 02 10:25:03.979 INFO kablam! 5: 0x55e385f8e62c - std::panicking::begin_panic_fmt::hc7dc6580ccb0884f Aug 02 10:25:03.979 INFO kablam! at libstd/panicking.rs:350 Aug 02 10:25:03.979 INFO kablam! 6: 0x55e385f8e5f1 - rust_begin_unwind Aug 02 10:25:03.979 INFO kablam! at libstd/panicking.rs:328 Aug 02 10:25:03.979 INFO kablam! 7: 0x55e385fe82d2 - core::panicking::panic_fmt::h802d6f07d666ebad Aug 02 10:25:03.979 INFO kablam! at libcore/panicking.rs:71 Aug 02 10:25:03.979 INFO kablam! 8: 0x55e385a1bb8b - core::result::unwrap_failed::hf1bba49603d7e505 Aug 02 10:25:03.980 INFO kablam! at /checkout/src/libcore/macros.rs:26 Aug 02 10:25:03.980 INFO kablam! 9: 0x55e385a1b9f9 - >::expect::h1f8f63df9534b25d Aug 02 10:25:03.980 INFO kablam! at /checkout/src/libcore/result.rs:809 Aug 02 10:25:03.980 INFO kablam! 10: 0x55e385a1b709 - build_script_build::main::haaccbcf7817b8b34 Aug 02 10:25:03.980 INFO kablam! at /source/build.rs:9 Aug 02 10:25:03.980 INFO kablam! 11: 0x55e385a1b8ef - std::rt::lang_start::{{closure}}::hb581399fee6ab6d2 Aug 02 10:25:03.980 INFO kablam! at /checkout/src/libstd/rt.rs:74 Aug 02 10:25:03.980 INFO kablam! 12: 0x55e385f8e572 - std::panicking::try::do_call::h64129d2b0e54f3b8 Aug 02 10:25:03.980 INFO kablam! at libstd/rt.rs:59 Aug 02 10:25:03.980 INFO kablam! at libstd/panicking.rs:310 Aug 02 10:25:03.980 INFO kablam! 13: 0x55e385fae939 - __rust_maybe_catch_panic Aug 02 10:25:03.980 INFO kablam! at libpanic_unwind/lib.rs:105 Aug 02 10:25:03.980 INFO kablam! 14: 0x55e385f962f5 - std::rt::lang_start_internal::h6264a91317866dd6 Aug 02 10:25:03.980 INFO kablam! at libstd/panicking.rs:289 Aug 02 10:25:03.980 INFO kablam! at libstd/panic.rs:374 Aug 02 10:25:03.980 INFO kablam! at libstd/rt.rs:58 Aug 02 10:25:03.980 INFO kablam! 15: 0x55e385a1b8c7 - std::rt::lang_start::h18e5f04a3f4f953a Aug 02 10:25:03.980 INFO kablam! at /checkout/src/libstd/rt.rs:74 Aug 02 10:25:03.980 INFO kablam! 16: 0x55e385a1b86c - main Aug 02 10:25:03.980 INFO kablam! 17: 0x7f61e178982f - __libc_start_main Aug 02 10:25:03.980 INFO kablam! 18: 0x55e385a19618 - _start Aug 02 10:25:03.980 INFO kablam! 19: 0x0 - Aug 02 10:25:03.980 INFO kablam! Aug 02 10:25:03.980 INFO kablam! warning: build failed, waiting for other jobs to finish... Aug 02 10:25:17.877 INFO kablam! error: build failed Aug 02 10:25:17.878 INFO kablam! su: No module specific data is present Aug 02 10:25:18.949 INFO running `"docker" "rm" "-f" "9da03efdf6c862ccca8991d0dfc5379762f3c3cac11b42fa12c2716b4f695ca2"` Aug 02 10:25:19.132 INFO blam! 9da03efdf6c862ccca8991d0dfc5379762f3c3cac11b42fa12c2716b4f695ca2