[INFO] crate seer-z3 0.1.2 is already in cache [INFO] testing seer-z3-0.1.2 against 1.38.0 for beta-1.39-1 [INFO] extracting crate seer-z3 0.1.2 into work/builds/worker-10/source [INFO] validating manifest of crates.io crate seer-z3 0.1.2 on toolchain 1.38.0 [INFO] running `"/big/crater/work/cargo-home/bin/cargo" "+1.38.0" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started tweaking crates.io crate seer-z3 0.1.2 [INFO] finished tweaking crates.io crate seer-z3 0.1.2 [INFO] tweaked toml for crates.io crate seer-z3 0.1.2 written to work/builds/worker-10/source/Cargo.toml [INFO] running `"/big/crater/work/cargo-home/bin/cargo" "+1.38.0" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/big/crater/work/cargo-home/bin/cargo" "+1.38.0" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"docker" "create" "-v" "/big/crater/work/builds/worker-10/target:/opt/rustwide/target:rw,Z" "-v" "/big/crater/work/builds/worker-10/source:/opt/rustwide/workdir:ro,Z" "-v" "/big/crater/work/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/big/crater/work/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-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" "+1.38.0" "build" "--frozen"` [INFO] [stdout] fc03b7551050cef78bf4d74d7db8e194318822eebb3b02e25d490450e077f5a9 [INFO] running `"docker" "start" "-a" "fc03b7551050cef78bf4d74d7db8e194318822eebb3b02e25d490450e077f5a9"` [INFO] [stderr] Compiling z3-sys v0.3.0 [INFO] [stderr] Compiling seer-z3 v0.1.2 (/opt/rustwide/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.12s [INFO] running `"docker" "inspect" "fc03b7551050cef78bf4d74d7db8e194318822eebb3b02e25d490450e077f5a9"` [INFO] running `"docker" "rm" "-f" "fc03b7551050cef78bf4d74d7db8e194318822eebb3b02e25d490450e077f5a9"` [INFO] [stdout] fc03b7551050cef78bf4d74d7db8e194318822eebb3b02e25d490450e077f5a9 [INFO] running `"docker" "create" "-v" "/big/crater/work/builds/worker-10/target:/opt/rustwide/target:rw,Z" "-v" "/big/crater/work/builds/worker-10/source:/opt/rustwide/workdir:ro,Z" "-v" "/big/crater/work/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/big/crater/work/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-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" "+1.38.0" "test" "--frozen" "--no-run"` [INFO] [stdout] ec733cd943702e5bf9795d64b0b1ecdc080267de1c9ef4b38ba69e72dbc92926 [INFO] running `"docker" "start" "-a" "ec733cd943702e5bf9795d64b0b1ecdc080267de1c9ef4b38ba69e72dbc92926"` [INFO] [stderr] Compiling seer-z3 v0.1.2 (/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/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/seer_z3-c85629808266e0f4.seer_z3.bgotyq82-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-c85629808266e0f4.seer_z3.bgotyq82-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-c85629808266e0f4.seer_z3.bgotyq82-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-c85629808266e0f4.seer_z3.bgotyq82-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-c85629808266e0f4.seer_z3.bgotyq82-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-c85629808266e0f4.seer_z3.bgotyq82-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-c85629808266e0f4.seer_z3.bgotyq82-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-c85629808266e0f4.seer_z3.bgotyq82-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-c85629808266e0f4.seer_z3.bgotyq82-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-c85629808266e0f4.seer_z3.bgotyq82-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-c85629808266e0f4.seer_z3.bgotyq82-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-c85629808266e0f4.seer_z3.bgotyq82-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-c85629808266e0f4.seer_z3.bgotyq82-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-c85629808266e0f4.seer_z3.bgotyq82-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-c85629808266e0f4.seer_z3.bgotyq82-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/seer_z3-c85629808266e0f4.seer_z3.bgotyq82-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/seer_z3-c85629808266e0f4" "/opt/rustwide/target/debug/deps/seer_z3-c85629808266e0f4.3o5l5pegeciubtzi.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-8b6fbd25e1766083.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-bd8f21e3bdd6cbdc.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-bfcad117c6a632af.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-79a1f91e8ce4eb83.rlib" "/opt/rustwide/target/debug/deps/liblibc-a3b13f6b27abcc70.rlib" "/opt/rustwide/target/debug/deps/libz3_sys-db963e7f6e6aaa99.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-83cafc2ae303332c.rlib" "/opt/rustwide/target/debug/deps/liblog-1818c57ccc56e23e.rlib" "/opt/rustwide/target/debug/deps/liblog-e50aa4e61ffd3b64.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-da99d89e98e4f9e7.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-12ce12f1efc08aa3.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-5d3cd1b3ddab72e4.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-f8222943dfd167e2.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-0cd00b2d3108cd48.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-485c05ba6ce1b438.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-63e6b1072426ba59.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-a421aff1d43911ee.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-3deef8ef4fe80dff.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-f65a176f0586269e.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-ad46d4080f4d7e57.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-da6c590582bf0885.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-837ca740df32db0a.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-db27c965e824589f.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-68a4f8466685ed76.rlib" "-Wl,-Bdynamic" "-lutil" "-lutil" "-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 `seer-z3`. [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [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/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/lib-11e7f47fe94df5ea.lib.bjvesbul-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/lib-11e7f47fe94df5ea.lib.bjvesbul-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/lib-11e7f47fe94df5ea.lib.bjvesbul-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/lib-11e7f47fe94df5ea.lib.bjvesbul-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/lib-11e7f47fe94df5ea.lib.bjvesbul-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/lib-11e7f47fe94df5ea.lib.bjvesbul-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/lib-11e7f47fe94df5ea.lib.bjvesbul-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/lib-11e7f47fe94df5ea.lib.bjvesbul-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/lib-11e7f47fe94df5ea.lib.bjvesbul-cgu.8.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/lib-11e7f47fe94df5ea" "/opt/rustwide/target/debug/deps/lib-11e7f47fe94df5ea.4ayyi6ppeiqlrjl4.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-8b6fbd25e1766083.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-bd8f21e3bdd6cbdc.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-bfcad117c6a632af.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-79a1f91e8ce4eb83.rlib" "/opt/rustwide/target/debug/deps/libseer_z3-57b2132a2707b175.rlib" "/opt/rustwide/target/debug/deps/libz3_sys-db963e7f6e6aaa99.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-83cafc2ae303332c.rlib" "/opt/rustwide/target/debug/deps/libenv_logger-c95987412089dda1.rlib" "/opt/rustwide/target/debug/deps/libregex-c39ec41ebfe8da42.rlib" "/opt/rustwide/target/debug/deps/libutf8_ranges-be9b532c7b2a32f6.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-c182adb4258878f6.rlib" "/opt/rustwide/target/debug/deps/libthread_local-ba70f18128c73cc6.rlib" "/opt/rustwide/target/debug/deps/libthread_id-bec9b327af519ab8.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-63d2ed65e185f64e.rlib" "/opt/rustwide/target/debug/deps/libmemchr-61908b775fab3d63.rlib" "/opt/rustwide/target/debug/deps/liblibc-a3b13f6b27abcc70.rlib" "/opt/rustwide/target/debug/deps/liblog-1818c57ccc56e23e.rlib" "/opt/rustwide/target/debug/deps/liblog-e50aa4e61ffd3b64.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-da99d89e98e4f9e7.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-12ce12f1efc08aa3.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-5d3cd1b3ddab72e4.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-f8222943dfd167e2.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-0cd00b2d3108cd48.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-485c05ba6ce1b438.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-63e6b1072426ba59.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-a421aff1d43911ee.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-3deef8ef4fe80dff.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-f65a176f0586269e.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-ad46d4080f4d7e57.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-da6c590582bf0885.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-837ca740df32db0a.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-db27c965e824589f.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-68a4f8466685ed76.rlib" "-Wl,-Bdynamic" "-lz3" "-lutil" "-lutil" "-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: 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/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/semver_tests-9ba0660c4acf2527.semver_tests.bvzu3sjr-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-9ba0660c4acf2527.semver_tests.bvzu3sjr-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-9ba0660c4acf2527.semver_tests.bvzu3sjr-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-9ba0660c4acf2527.semver_tests.bvzu3sjr-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-9ba0660c4acf2527.semver_tests.bvzu3sjr-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-9ba0660c4acf2527.semver_tests.bvzu3sjr-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-9ba0660c4acf2527.semver_tests.bvzu3sjr-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-9ba0660c4acf2527.semver_tests.bvzu3sjr-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-9ba0660c4acf2527.semver_tests.bvzu3sjr-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-9ba0660c4acf2527.semver_tests.bvzu3sjr-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-9ba0660c4acf2527.semver_tests.bvzu3sjr-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-9ba0660c4acf2527.semver_tests.bvzu3sjr-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-9ba0660c4acf2527.semver_tests.bvzu3sjr-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-9ba0660c4acf2527.semver_tests.bvzu3sjr-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-9ba0660c4acf2527.semver_tests.bvzu3sjr-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-9ba0660c4acf2527.semver_tests.bvzu3sjr-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/semver_tests-9ba0660c4acf2527" "/opt/rustwide/target/debug/deps/semver_tests-9ba0660c4acf2527.2vei7xjqp6646qgf.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-8b6fbd25e1766083.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-bd8f21e3bdd6cbdc.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-bfcad117c6a632af.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-79a1f91e8ce4eb83.rlib" "/opt/rustwide/target/debug/deps/libseer_z3-57b2132a2707b175.rlib" "/opt/rustwide/target/debug/deps/libz3_sys-db963e7f6e6aaa99.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-83cafc2ae303332c.rlib" "/opt/rustwide/target/debug/deps/libsemver-500440176c7fd82c.rlib" "/opt/rustwide/target/debug/deps/libnom-0610acf0bfcbc552.rlib" "/opt/rustwide/target/debug/deps/libenv_logger-c95987412089dda1.rlib" "/opt/rustwide/target/debug/deps/libregex-c39ec41ebfe8da42.rlib" "/opt/rustwide/target/debug/deps/libutf8_ranges-be9b532c7b2a32f6.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-c182adb4258878f6.rlib" "/opt/rustwide/target/debug/deps/libthread_local-ba70f18128c73cc6.rlib" "/opt/rustwide/target/debug/deps/libthread_id-bec9b327af519ab8.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-63d2ed65e185f64e.rlib" "/opt/rustwide/target/debug/deps/libmemchr-61908b775fab3d63.rlib" "/opt/rustwide/target/debug/deps/liblibc-a3b13f6b27abcc70.rlib" "/opt/rustwide/target/debug/deps/liblog-1818c57ccc56e23e.rlib" "/opt/rustwide/target/debug/deps/liblog-e50aa4e61ffd3b64.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-da99d89e98e4f9e7.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-12ce12f1efc08aa3.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-5d3cd1b3ddab72e4.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-f8222943dfd167e2.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-0cd00b2d3108cd48.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-485c05ba6ce1b438.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-63e6b1072426ba59.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-a421aff1d43911ee.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-3deef8ef4fe80dff.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-f65a176f0586269e.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-ad46d4080f4d7e57.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-da6c590582bf0885.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-837ca740df32db0a.rlib" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-db27c965e824589f.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.38.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-68a4f8466685ed76.rlib" "-Wl,-Bdynamic" "-lz3" "-lutil" "-lutil" "-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 `seer-z3`. [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: Could not compile `seer-z3`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] running `"docker" "inspect" "ec733cd943702e5bf9795d64b0b1ecdc080267de1c9ef4b38ba69e72dbc92926"` [INFO] running `"docker" "rm" "-f" "ec733cd943702e5bf9795d64b0b1ecdc080267de1c9ef4b38ba69e72dbc92926"` [INFO] [stdout] ec733cd943702e5bf9795d64b0b1ecdc080267de1c9ef4b38ba69e72dbc92926