[INFO] updating cached repository https://github.com/koba-e964/tmp-rust-z3-test [INFO] running `"git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "-c" "remote.origin.fetch=refs/heads/*:refs/heads/*" "fetch" "origin" "--force" "--prune"` [INFO] running `"git" "rev-parse" "HEAD"` [INFO] [stdout] cba5860905e95991f6cc3245f33c4b324d5eb476 [INFO] testing koba-e964/tmp-rust-z3-test against master#28742a1146f10a4f09369baad027a464acb7a766 for pr-71274 [INFO] running `"git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkoba-e964%2Ftmp-rust-z3-test" "/workspace/builds/worker-0/source"` [INFO] [stderr] Cloning into '/workspace/builds/worker-0/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/koba-e964/tmp-rust-z3-test on toolchain 28742a1146f10a4f09369baad027a464acb7a766 [INFO] running `"/workspace/cargo-home/bin/cargo" "+28742a1146f10a4f09369baad027a464acb7a766" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started tweaking git repo https://github.com/koba-e964/tmp-rust-z3-test [INFO] finished tweaking git repo https://github.com/koba-e964/tmp-rust-z3-test [INFO] tweaked toml for git repo https://github.com/koba-e964/tmp-rust-z3-test written to /workspace/builds/worker-0/source/Cargo.toml [INFO] crate git repo https://github.com/koba-e964/tmp-rust-z3-test already has a lockfile, it will not be regenerated [INFO] running `"/workspace/cargo-home/bin/cargo" "+28742a1146f10a4f09369baad027a464acb7a766" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+28742a1146f10a4f09369baad027a464acb7a766" "build" "--frozen"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] c0dbc397b22626b4c4d4db469a49251f949e754fa0e6fc158a846559c8ffe68b [INFO] running `"docker" "start" "-a" "c0dbc397b22626b4c4d4db469a49251f949e754fa0e6fc158a846559c8ffe68b"` [INFO] [stderr] Compiling cfg-if v0.1.9 [INFO] [stderr] Compiling z3-sys v0.4.0 [INFO] [stderr] Compiling log v0.4.6 [INFO] [stderr] Compiling z3 v0.3.2 [INFO] [stderr] Compiling rust-z3-test v0.1.0 (/opt/rustwide/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/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/rust_z3_test-1c0c376371c81e8e.rust_z3_test.5zp0ubre-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/rust_z3_test-1c0c376371c81e8e.rust_z3_test.5zp0ubre-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/rust_z3_test-1c0c376371c81e8e.rust_z3_test.5zp0ubre-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/rust_z3_test-1c0c376371c81e8e.rust_z3_test.5zp0ubre-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/rust_z3_test-1c0c376371c81e8e.rust_z3_test.5zp0ubre-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/rust_z3_test-1c0c376371c81e8e.rust_z3_test.5zp0ubre-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/rust_z3_test-1c0c376371c81e8e.rust_z3_test.5zp0ubre-cgu.6.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/rust_z3_test-1c0c376371c81e8e" "/opt/rustwide/target/debug/deps/rust_z3_test-1c0c376371c81e8e.2cyagwb9ro23febm.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libz3-003ee3e738d4713d.rlib" "/opt/rustwide/target/debug/deps/libz3_sys-844618272e5d9c99.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-871db668c04919c0.rlib" "/opt/rustwide/target/debug/deps/liblog-3131a73ccd039a00.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-d205a30746c5635c.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-1dac1a412c98f50d.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-b7841fd014bf83a1.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-338c0763450dca22.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-5f2e5d11836e0967.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-81a9070bd3553adf.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-e297830377b95af4.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-b38b87f2dd197fa0.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-601015f2e15e7e26.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-439f3a589bd88586.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-57ab7e6ac23ce11f.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-3aec7f88778e912a.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-b6806800b307d4b9.rlib" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-e49d7651b12f7563.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/28742a1146f10a4f09369baad027a464acb7a766/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-e8266574e26adcc3.rlib" "-Wl,-Bdynamic" "-lz3" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-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" "c0dbc397b22626b4c4d4db469a49251f949e754fa0e6fc158a846559c8ffe68b"` [INFO] running `"docker" "rm" "-f" "c0dbc397b22626b4c4d4db469a49251f949e754fa0e6fc158a846559c8ffe68b"` [INFO] [stdout] c0dbc397b22626b4c4d4db469a49251f949e754fa0e6fc158a846559c8ffe68b