[INFO] updating cached repository koba-e964/tmp-rust-z3-test
[INFO] running `"git" "fetch" "--all"`
[INFO] [stdout] Fetching origin
[INFO] [stderr] From git://github.com/koba-e964/tmp-rust-z3-test
[INFO] [stderr]  * branch            HEAD       -> FETCH_HEAD
[INFO] running `"git" "clone" "work/cache/sources/gh/koba-e964/tmp-rust-z3-test" "work/ex/beta-1.38-1/sources/1.37.0/gh/koba-e964/tmp-rust-z3-test"`
[INFO] [stderr] Cloning into 'work/ex/beta-1.38-1/sources/1.37.0/gh/koba-e964/tmp-rust-z3-test'...
[INFO] [stderr] done.
[INFO] running `"git" "clone" "work/cache/sources/gh/koba-e964/tmp-rust-z3-test" "work/ex/beta-1.38-1/sources/beta-2019-08-13/gh/koba-e964/tmp-rust-z3-test"`
[INFO] [stderr] Cloning into 'work/ex/beta-1.38-1/sources/beta-2019-08-13/gh/koba-e964/tmp-rust-z3-test'...
[INFO] [stderr] done.
[INFO] running `"git" "rev-parse" "HEAD"`
[INFO] [stdout] cba5860905e95991f6cc3245f33c4b324d5eb476
[INFO] sha for GitHub repo koba-e964/tmp-rust-z3-test: cba5860905e95991f6cc3245f33c4b324d5eb476
[INFO] validating manifest of koba-e964/tmp-rust-z3-test on toolchain 1.37.0
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.37.0" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] validating manifest of koba-e964/tmp-rust-z3-test on toolchain beta-2019-08-13
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-08-13" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started frobbing koba-e964/tmp-rust-z3-test
[INFO] finished frobbing koba-e964/tmp-rust-z3-test
[INFO] frobbed toml for koba-e964/tmp-rust-z3-test written to work/ex/beta-1.38-1/sources/1.37.0/gh/koba-e964/tmp-rust-z3-test/Cargo.toml
[INFO] started frobbing koba-e964/tmp-rust-z3-test
[INFO] finished frobbing koba-e964/tmp-rust-z3-test
[INFO] frobbed toml for koba-e964/tmp-rust-z3-test written to work/ex/beta-1.38-1/sources/beta-2019-08-13/gh/koba-e964/tmp-rust-z3-test/Cargo.toml
[INFO] crate koba-e964/tmp-rust-z3-test already has a lockfile, it will not be regenerated
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.37.0" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-08-13" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] testing koba-e964/tmp-rust-z3-test against beta-2019-08-13 for beta-1.38-1
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.38-1/worker-5/beta-2019-08-13:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.38-1/sources/beta-2019-08-13/gh/koba-e964/tmp-rust-z3-test:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+beta-2019-08-13" "build" "--frozen"`
[INFO] [stdout] 442706dbe9d452033e38d7b0e974c48731db576f0879057584412e1e65b25228
[INFO] running `"docker" "start" "-a" "442706dbe9d452033e38d7b0e974c48731db576f0879057584412e1e65b25228"`
[INFO] [stderr]    Compiling z3-sys v0.4.0
[INFO] [stderr]    Compiling z3 v0.3.2
[INFO] [stderr]    Compiling rust-z3-test v0.1.0 (/opt/crater/workdir)
[INFO] [stderr] error: linking with `cc` failed: exit code: 1
[INFO] [stderr]   |
[INFO] [stderr]   = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/crater/target/debug/deps/rust_z3_test-0c38813861bcd1b4.rust_z3_test.6q6cafro-cgu.0.rcgu.o" "/opt/crater/target/debug/deps/rust_z3_test-0c38813861bcd1b4.rust_z3_test.6q6cafro-cgu.1.rcgu.o" "/opt/crater/target/debug/deps/rust_z3_test-0c38813861bcd1b4.rust_z3_test.6q6cafro-cgu.2.rcgu.o" "/opt/crater/target/debug/deps/rust_z3_test-0c38813861bcd1b4.rust_z3_test.6q6cafro-cgu.3.rcgu.o" "/opt/crater/target/debug/deps/rust_z3_test-0c38813861bcd1b4.rust_z3_test.6q6cafro-cgu.4.rcgu.o" "/opt/crater/target/debug/deps/rust_z3_test-0c38813861bcd1b4.rust_z3_test.6q6cafro-cgu.5.rcgu.o" "/opt/crater/target/debug/deps/rust_z3_test-0c38813861bcd1b4.rust_z3_test.6q6cafro-cgu.6.rcgu.o" "/opt/crater/target/debug/deps/rust_z3_test-0c38813861bcd1b4.rust_z3_test.6q6cafro-cgu.7.rcgu.o" "-o" "/opt/crater/target/debug/deps/rust_z3_test-0c38813861bcd1b4" "/opt/crater/target/debug/deps/rust_z3_test-0c38813861bcd1b4.59u6kkq0zcvreznw.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/crater/target/debug/deps" "-L" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/crater/target/debug/deps/libz3-b770fc9b3f296ac8.rlib" "/opt/crater/target/debug/deps/libz3_sys-f47a01d94e146c7a.rlib" "/opt/crater/target/debug/deps/liblazy_static-1f7a4359e40a6da9.rlib" "/opt/crater/target/debug/deps/liblog-d1e1ca2b37ef8491.rlib" "/opt/crater/target/debug/deps/libcfg_if-c978b2f886ff1de7.rlib" "-Wl,--start-group" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-1d6d86bd078a28e9.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-e9721e46a424e2a9.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-c07193698f282147.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-6da45690f3863086.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-690797036dd27680.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-d3896ccbfd8eda2b.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-7cccc3739e3d7623.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-5e9ba178a513cd29.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-5ca9f83bf63d1f4b.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-bba1c7ef9e950882.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-e23c9de62012deb5.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-9b59dffdcd513d5d.rlib" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-17392340ab2e4a97.rlib" "-Wl,--end-group" "/opt/crater/rustup-home/toolchains/beta-2019-08-13-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-ac21508a81e3f7f3.rlib" "-Wl,-Bdynamic" "-lz3" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-lutil"
[INFO] [stderr]   = note: /usr/bin/ld: cannot find -lz3
[INFO] [stderr]           collect2: error: ld returned 1 exit status
[INFO] [stderr]           
[INFO] [stderr] 
[INFO] [stderr] error: aborting due to previous error
[INFO] [stderr] 
[INFO] [stderr] error: Could not compile `rust-z3-test`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] running `"docker" "inspect" "442706dbe9d452033e38d7b0e974c48731db576f0879057584412e1e65b25228"`
[INFO] running `"docker" "rm" "-f" "442706dbe9d452033e38d7b0e974c48731db576f0879057584412e1e65b25228"`
[INFO] [stdout] 442706dbe9d452033e38d7b0e974c48731db576f0879057584412e1e65b25228