[INFO] fetching crate haybale 0.4.0... [INFO] testing haybale-0.4.0 against 1.44.0 for beta-1.45-1 [INFO] extracting crate haybale 0.4.0 into /workspace/builds/worker-4/source [INFO] validating manifest of crates.io crate haybale 0.4.0 on toolchain 1.44.0 [INFO] running `"/workspace/cargo-home/bin/cargo" "+1.44.0" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started tweaking crates.io crate haybale 0.4.0 [INFO] finished tweaking crates.io crate haybale 0.4.0 [INFO] tweaked toml for crates.io crate haybale 0.4.0 written to /workspace/builds/worker-4/source/Cargo.toml [INFO] running `"/workspace/cargo-home/bin/cargo" "+1.44.0" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/workspace/cargo-home/bin/cargo" "+1.44.0" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/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=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.44.0" "build" "--frozen"` [INFO] [stdout] e7ea9f13b781d95993f14637da04737925d5c4629ea9b0aef3100633403d6e9a [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `"docker" "start" "-a" "e7ea9f13b781d95993f14637da04737925d5c4629ea9b0aef3100633403d6e9a"` [INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted [INFO] [stderr] Compiling boolector-sys v0.4.0 [INFO] [stderr] Compiling either v1.5.3 [INFO] [stderr] Compiling reduce v0.1.2 [INFO] [stderr] Compiling cpp_demangle v0.2.16 [INFO] [stderr] Compiling llvm-sys v90.0.0 [INFO] [stderr] Compiling itertools v0.9.0 [INFO] [stderr] Compiling boolector v0.3.0 [INFO] [stderr] Compiling llvm-ir v0.5.3 [INFO] [stderr] Compiling haybale v0.4.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 29.59s [INFO] running `"docker" "inspect" "e7ea9f13b781d95993f14637da04737925d5c4629ea9b0aef3100633403d6e9a"` [INFO] running `"docker" "rm" "-f" "e7ea9f13b781d95993f14637da04737925d5c4629ea9b0aef3100633403d6e9a"` [INFO] [stdout] e7ea9f13b781d95993f14637da04737925d5c4629ea9b0aef3100633403d6e9a [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/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=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.44.0" "test" "--frozen" "--no-run"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 1824e8818ca29ed269aa45c1ad43a950f7a0bd7b0e330aaaeb8b4332d7162de9 [INFO] running `"docker" "start" "-a" "1824e8818ca29ed269aa45c1ad43a950f7a0bd7b0e330aaaeb8b4332d7162de9"` [INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted [INFO] [stderr] Compiling env_logger v0.7.1 [INFO] [stderr] Compiling haybale v0.4.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/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/linkedlist_tests-de2f8070ce4df174.linkedlist_tests.e5m6scj6-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-de2f8070ce4df174.linkedlist_tests.e5m6scj6-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-de2f8070ce4df174.linkedlist_tests.e5m6scj6-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-de2f8070ce4df174.linkedlist_tests.e5m6scj6-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-de2f8070ce4df174.linkedlist_tests.e5m6scj6-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-de2f8070ce4df174.linkedlist_tests.e5m6scj6-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-de2f8070ce4df174.linkedlist_tests.e5m6scj6-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-de2f8070ce4df174.linkedlist_tests.e5m6scj6-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-de2f8070ce4df174.linkedlist_tests.e5m6scj6-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-de2f8070ce4df174.linkedlist_tests.e5m6scj6-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-de2f8070ce4df174.linkedlist_tests.e5m6scj6-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-de2f8070ce4df174.linkedlist_tests.e5m6scj6-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-de2f8070ce4df174.linkedlist_tests.e5m6scj6-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-de2f8070ce4df174.linkedlist_tests.e5m6scj6-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-de2f8070ce4df174.linkedlist_tests.e5m6scj6-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-de2f8070ce4df174.linkedlist_tests.e5m6scj6-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/linkedlist_tests-de2f8070ce4df174" "/opt/rustwide/target/debug/deps/linkedlist_tests-de2f8070ce4df174.5aqeplcu6ibd7ytc.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-51c1f07463ff9c17/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-4cd41cbbd393b22c.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-792ab0e121399ab5.rlib" "/opt/rustwide/target/debug/deps/libatty-95e8b99d25a88bbd.rlib" "/opt/rustwide/target/debug/deps/libhumantime-d78f99fa4ce0baff.rlib" "/opt/rustwide/target/debug/deps/libquick_error-204ac078bfe743c8.rlib" "/opt/rustwide/target/debug/deps/libregex-9a59660fb1a417a0.rlib" "/opt/rustwide/target/debug/deps/libthread_local-0fa9223d2071c166.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-807f2c476a0e6b86.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-d8c4a7233d44e5b2.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-fe37456595fe7be2.rlib" "/opt/rustwide/target/debug/deps/libmemchr-6694212c7172d5bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-219fc620be977b79.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-f5064c1d87ea3eaf.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-6bc0764cb7f4dd96.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-72042f7f9ab0950a.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-7a49e61f83b63f93.rlib" "/opt/rustwide/target/debug/deps/libhaybale-6643b194aab96158.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-8a024152e0a5fa49.rlib" "/opt/rustwide/target/debug/deps/libitertools-13165e453a7c753f.rlib" "/opt/rustwide/target/debug/deps/libboolector-e3be9da9ee6498ee.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-b437cdaf36df183c.rlib" "/opt/rustwide/target/debug/deps/libreduce-d98e40e1161844ff.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-e3c66f530931b34f.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-6df2b390ebf1074a.rlib" "/opt/rustwide/target/debug/deps/liblog-7d3993e8061c37ae.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-c207894dabf2ad2d.rlib" "/opt/rustwide/target/debug/deps/libeither-19da0396cea95667.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-08a4768c1a2b5f93.rlib" "/opt/rustwide/target/debug/deps/liblibc-e4dfce483ea4fe1d.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-205127404fcba336.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-a657948fb7763780.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-4af901391177f653.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-9bdd51edf637d1e0.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-df9a9630b2ea2e1e.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-fddbfe63d5cc9339.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-dc1fcc6e43806791.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-e2f4bff19e00107e.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-a152d13c1d7ed405.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-d92b841792fc008d.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-a64c249515c023f5.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-57654524b3e40c00.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-72180f1527a726a2.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-990cc8f4a91a3ab4.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lboolector [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 `haybale`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [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.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/memory_tests-9ed7ef16c9cfdac6.memory_tests.3p9jst17-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-9ed7ef16c9cfdac6.memory_tests.3p9jst17-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-9ed7ef16c9cfdac6.memory_tests.3p9jst17-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-9ed7ef16c9cfdac6.memory_tests.3p9jst17-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-9ed7ef16c9cfdac6.memory_tests.3p9jst17-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-9ed7ef16c9cfdac6.memory_tests.3p9jst17-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-9ed7ef16c9cfdac6.memory_tests.3p9jst17-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-9ed7ef16c9cfdac6.memory_tests.3p9jst17-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-9ed7ef16c9cfdac6.memory_tests.3p9jst17-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-9ed7ef16c9cfdac6.memory_tests.3p9jst17-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-9ed7ef16c9cfdac6.memory_tests.3p9jst17-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-9ed7ef16c9cfdac6.memory_tests.3p9jst17-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-9ed7ef16c9cfdac6.memory_tests.3p9jst17-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-9ed7ef16c9cfdac6.memory_tests.3p9jst17-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-9ed7ef16c9cfdac6.memory_tests.3p9jst17-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-9ed7ef16c9cfdac6.memory_tests.3p9jst17-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/memory_tests-9ed7ef16c9cfdac6" "/opt/rustwide/target/debug/deps/memory_tests-9ed7ef16c9cfdac6.21vv39clc0ky5vkc.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-51c1f07463ff9c17/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-4cd41cbbd393b22c.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-792ab0e121399ab5.rlib" "/opt/rustwide/target/debug/deps/libatty-95e8b99d25a88bbd.rlib" "/opt/rustwide/target/debug/deps/libhumantime-d78f99fa4ce0baff.rlib" "/opt/rustwide/target/debug/deps/libquick_error-204ac078bfe743c8.rlib" "/opt/rustwide/target/debug/deps/libregex-9a59660fb1a417a0.rlib" "/opt/rustwide/target/debug/deps/libthread_local-0fa9223d2071c166.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-807f2c476a0e6b86.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-d8c4a7233d44e5b2.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-fe37456595fe7be2.rlib" "/opt/rustwide/target/debug/deps/libmemchr-6694212c7172d5bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-219fc620be977b79.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-f5064c1d87ea3eaf.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-6bc0764cb7f4dd96.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-72042f7f9ab0950a.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-7a49e61f83b63f93.rlib" "/opt/rustwide/target/debug/deps/libhaybale-6643b194aab96158.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-8a024152e0a5fa49.rlib" "/opt/rustwide/target/debug/deps/libitertools-13165e453a7c753f.rlib" "/opt/rustwide/target/debug/deps/libboolector-e3be9da9ee6498ee.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-b437cdaf36df183c.rlib" "/opt/rustwide/target/debug/deps/libreduce-d98e40e1161844ff.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-e3c66f530931b34f.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-6df2b390ebf1074a.rlib" "/opt/rustwide/target/debug/deps/liblog-7d3993e8061c37ae.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-c207894dabf2ad2d.rlib" "/opt/rustwide/target/debug/deps/libeither-19da0396cea95667.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-08a4768c1a2b5f93.rlib" "/opt/rustwide/target/debug/deps/liblibc-e4dfce483ea4fe1d.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-205127404fcba336.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-a657948fb7763780.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-4af901391177f653.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-9bdd51edf637d1e0.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-df9a9630b2ea2e1e.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-fddbfe63d5cc9339.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-dc1fcc6e43806791.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-e2f4bff19e00107e.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-a152d13c1d7ed405.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-d92b841792fc008d.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-a64c249515c023f5.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-57654524b3e40c00.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-72180f1527a726a2.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-990cc8f4a91a3ab4.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lboolector [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 `haybale`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [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.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/functionptr_tests-e7972aa032a69699.functionptr_tests.5tfzyjar-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-e7972aa032a69699.functionptr_tests.5tfzyjar-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-e7972aa032a69699.functionptr_tests.5tfzyjar-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-e7972aa032a69699.functionptr_tests.5tfzyjar-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-e7972aa032a69699.functionptr_tests.5tfzyjar-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-e7972aa032a69699.functionptr_tests.5tfzyjar-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-e7972aa032a69699.functionptr_tests.5tfzyjar-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-e7972aa032a69699.functionptr_tests.5tfzyjar-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-e7972aa032a69699.functionptr_tests.5tfzyjar-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-e7972aa032a69699.functionptr_tests.5tfzyjar-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-e7972aa032a69699.functionptr_tests.5tfzyjar-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-e7972aa032a69699.functionptr_tests.5tfzyjar-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-e7972aa032a69699.functionptr_tests.5tfzyjar-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-e7972aa032a69699.functionptr_tests.5tfzyjar-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-e7972aa032a69699.functionptr_tests.5tfzyjar-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-e7972aa032a69699.functionptr_tests.5tfzyjar-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/functionptr_tests-e7972aa032a69699" "/opt/rustwide/target/debug/deps/functionptr_tests-e7972aa032a69699.24cfr9fiwzagln0m.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-51c1f07463ff9c17/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-4cd41cbbd393b22c.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-792ab0e121399ab5.rlib" "/opt/rustwide/target/debug/deps/libatty-95e8b99d25a88bbd.rlib" "/opt/rustwide/target/debug/deps/libhumantime-d78f99fa4ce0baff.rlib" "/opt/rustwide/target/debug/deps/libquick_error-204ac078bfe743c8.rlib" "/opt/rustwide/target/debug/deps/libregex-9a59660fb1a417a0.rlib" "/opt/rustwide/target/debug/deps/libthread_local-0fa9223d2071c166.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-807f2c476a0e6b86.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-d8c4a7233d44e5b2.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-fe37456595fe7be2.rlib" "/opt/rustwide/target/debug/deps/libmemchr-6694212c7172d5bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-219fc620be977b79.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-f5064c1d87ea3eaf.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-6bc0764cb7f4dd96.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-72042f7f9ab0950a.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-7a49e61f83b63f93.rlib" "/opt/rustwide/target/debug/deps/libhaybale-6643b194aab96158.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-8a024152e0a5fa49.rlib" "/opt/rustwide/target/debug/deps/libitertools-13165e453a7c753f.rlib" "/opt/rustwide/target/debug/deps/libboolector-e3be9da9ee6498ee.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-b437cdaf36df183c.rlib" "/opt/rustwide/target/debug/deps/libreduce-d98e40e1161844ff.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-e3c66f530931b34f.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-6df2b390ebf1074a.rlib" "/opt/rustwide/target/debug/deps/liblog-7d3993e8061c37ae.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-c207894dabf2ad2d.rlib" "/opt/rustwide/target/debug/deps/libeither-19da0396cea95667.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-08a4768c1a2b5f93.rlib" "/opt/rustwide/target/debug/deps/liblibc-e4dfce483ea4fe1d.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-205127404fcba336.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-a657948fb7763780.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-4af901391177f653.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-9bdd51edf637d1e0.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-df9a9630b2ea2e1e.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-fddbfe63d5cc9339.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-dc1fcc6e43806791.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-e2f4bff19e00107e.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-a152d13c1d7ed405.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-d92b841792fc008d.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-a64c249515c023f5.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-57654524b3e40c00.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-72180f1527a726a2.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-990cc8f4a91a3ab4.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lboolector [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 `haybale`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [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.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/loop_tests-60cbbb8c79a6dfca.loop_tests.a0v650ng-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-60cbbb8c79a6dfca.loop_tests.a0v650ng-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-60cbbb8c79a6dfca.loop_tests.a0v650ng-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-60cbbb8c79a6dfca.loop_tests.a0v650ng-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-60cbbb8c79a6dfca.loop_tests.a0v650ng-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-60cbbb8c79a6dfca.loop_tests.a0v650ng-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-60cbbb8c79a6dfca.loop_tests.a0v650ng-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-60cbbb8c79a6dfca.loop_tests.a0v650ng-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-60cbbb8c79a6dfca.loop_tests.a0v650ng-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-60cbbb8c79a6dfca.loop_tests.a0v650ng-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-60cbbb8c79a6dfca.loop_tests.a0v650ng-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-60cbbb8c79a6dfca.loop_tests.a0v650ng-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-60cbbb8c79a6dfca.loop_tests.a0v650ng-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-60cbbb8c79a6dfca.loop_tests.a0v650ng-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-60cbbb8c79a6dfca.loop_tests.a0v650ng-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-60cbbb8c79a6dfca.loop_tests.a0v650ng-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/loop_tests-60cbbb8c79a6dfca" "/opt/rustwide/target/debug/deps/loop_tests-60cbbb8c79a6dfca.2v5khpin3voufvh1.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-51c1f07463ff9c17/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-4cd41cbbd393b22c.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-792ab0e121399ab5.rlib" "/opt/rustwide/target/debug/deps/libatty-95e8b99d25a88bbd.rlib" "/opt/rustwide/target/debug/deps/libhumantime-d78f99fa4ce0baff.rlib" "/opt/rustwide/target/debug/deps/libquick_error-204ac078bfe743c8.rlib" "/opt/rustwide/target/debug/deps/libregex-9a59660fb1a417a0.rlib" "/opt/rustwide/target/debug/deps/libthread_local-0fa9223d2071c166.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-807f2c476a0e6b86.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-d8c4a7233d44e5b2.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-fe37456595fe7be2.rlib" "/opt/rustwide/target/debug/deps/libmemchr-6694212c7172d5bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-219fc620be977b79.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-f5064c1d87ea3eaf.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-6bc0764cb7f4dd96.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-72042f7f9ab0950a.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-7a49e61f83b63f93.rlib" "/opt/rustwide/target/debug/deps/libhaybale-6643b194aab96158.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-8a024152e0a5fa49.rlib" "/opt/rustwide/target/debug/deps/libitertools-13165e453a7c753f.rlib" "/opt/rustwide/target/debug/deps/libboolector-e3be9da9ee6498ee.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-b437cdaf36df183c.rlib" "/opt/rustwide/target/debug/deps/libreduce-d98e40e1161844ff.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-e3c66f530931b34f.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-6df2b390ebf1074a.rlib" "/opt/rustwide/target/debug/deps/liblog-7d3993e8061c37ae.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-c207894dabf2ad2d.rlib" "/opt/rustwide/target/debug/deps/libeither-19da0396cea95667.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-08a4768c1a2b5f93.rlib" "/opt/rustwide/target/debug/deps/liblibc-e4dfce483ea4fe1d.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-205127404fcba336.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-a657948fb7763780.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-4af901391177f653.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-9bdd51edf637d1e0.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-df9a9630b2ea2e1e.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-fddbfe63d5cc9339.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-dc1fcc6e43806791.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-e2f4bff19e00107e.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-a152d13c1d7ed405.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-d92b841792fc008d.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-a64c249515c023f5.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-57654524b3e40c00.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-72180f1527a726a2.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-990cc8f4a91a3ab4.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lboolector [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 `haybale`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [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.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/basic_tests-66f1f5d4673a4624.basic_tests.bbm070nk-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-66f1f5d4673a4624.basic_tests.bbm070nk-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-66f1f5d4673a4624.basic_tests.bbm070nk-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-66f1f5d4673a4624.basic_tests.bbm070nk-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-66f1f5d4673a4624.basic_tests.bbm070nk-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-66f1f5d4673a4624.basic_tests.bbm070nk-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-66f1f5d4673a4624.basic_tests.bbm070nk-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-66f1f5d4673a4624.basic_tests.bbm070nk-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-66f1f5d4673a4624.basic_tests.bbm070nk-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-66f1f5d4673a4624.basic_tests.bbm070nk-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-66f1f5d4673a4624.basic_tests.bbm070nk-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-66f1f5d4673a4624.basic_tests.bbm070nk-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-66f1f5d4673a4624.basic_tests.bbm070nk-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-66f1f5d4673a4624.basic_tests.bbm070nk-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-66f1f5d4673a4624.basic_tests.bbm070nk-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-66f1f5d4673a4624.basic_tests.bbm070nk-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/basic_tests-66f1f5d4673a4624" "/opt/rustwide/target/debug/deps/basic_tests-66f1f5d4673a4624.3hibsjcxx1pc4cin.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-51c1f07463ff9c17/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-4cd41cbbd393b22c.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-792ab0e121399ab5.rlib" "/opt/rustwide/target/debug/deps/libatty-95e8b99d25a88bbd.rlib" "/opt/rustwide/target/debug/deps/libhumantime-d78f99fa4ce0baff.rlib" "/opt/rustwide/target/debug/deps/libquick_error-204ac078bfe743c8.rlib" "/opt/rustwide/target/debug/deps/libregex-9a59660fb1a417a0.rlib" "/opt/rustwide/target/debug/deps/libthread_local-0fa9223d2071c166.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-807f2c476a0e6b86.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-d8c4a7233d44e5b2.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-fe37456595fe7be2.rlib" "/opt/rustwide/target/debug/deps/libmemchr-6694212c7172d5bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-219fc620be977b79.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-f5064c1d87ea3eaf.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-6bc0764cb7f4dd96.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-72042f7f9ab0950a.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-7a49e61f83b63f93.rlib" "/opt/rustwide/target/debug/deps/libhaybale-6643b194aab96158.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-8a024152e0a5fa49.rlib" "/opt/rustwide/target/debug/deps/libitertools-13165e453a7c753f.rlib" "/opt/rustwide/target/debug/deps/libboolector-e3be9da9ee6498ee.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-b437cdaf36df183c.rlib" "/opt/rustwide/target/debug/deps/libreduce-d98e40e1161844ff.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-e3c66f530931b34f.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-6df2b390ebf1074a.rlib" "/opt/rustwide/target/debug/deps/liblog-7d3993e8061c37ae.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-c207894dabf2ad2d.rlib" "/opt/rustwide/target/debug/deps/libeither-19da0396cea95667.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-08a4768c1a2b5f93.rlib" "/opt/rustwide/target/debug/deps/liblibc-e4dfce483ea4fe1d.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-205127404fcba336.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-a657948fb7763780.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-4af901391177f653.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-9bdd51edf637d1e0.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-df9a9630b2ea2e1e.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-fddbfe63d5cc9339.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-dc1fcc6e43806791.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-e2f4bff19e00107e.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-a152d13c1d7ed405.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-d92b841792fc008d.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-a64c249515c023f5.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-57654524b3e40c00.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-72180f1527a726a2.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-990cc8f4a91a3ab4.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lboolector [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 `haybale`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [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.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/call_tests-80687966fa5f72a0.call_tests.9km3ckgg-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-80687966fa5f72a0.call_tests.9km3ckgg-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-80687966fa5f72a0.call_tests.9km3ckgg-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-80687966fa5f72a0.call_tests.9km3ckgg-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-80687966fa5f72a0.call_tests.9km3ckgg-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-80687966fa5f72a0.call_tests.9km3ckgg-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-80687966fa5f72a0.call_tests.9km3ckgg-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-80687966fa5f72a0.call_tests.9km3ckgg-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-80687966fa5f72a0.call_tests.9km3ckgg-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-80687966fa5f72a0.call_tests.9km3ckgg-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-80687966fa5f72a0.call_tests.9km3ckgg-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-80687966fa5f72a0.call_tests.9km3ckgg-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-80687966fa5f72a0.call_tests.9km3ckgg-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-80687966fa5f72a0.call_tests.9km3ckgg-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-80687966fa5f72a0.call_tests.9km3ckgg-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-80687966fa5f72a0.call_tests.9km3ckgg-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/call_tests-80687966fa5f72a0" "/opt/rustwide/target/debug/deps/call_tests-80687966fa5f72a0.2ry954avqpklvrii.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-51c1f07463ff9c17/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-4cd41cbbd393b22c.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-792ab0e121399ab5.rlib" "/opt/rustwide/target/debug/deps/libatty-95e8b99d25a88bbd.rlib" "/opt/rustwide/target/debug/deps/libhumantime-d78f99fa4ce0baff.rlib" "/opt/rustwide/target/debug/deps/libquick_error-204ac078bfe743c8.rlib" "/opt/rustwide/target/debug/deps/libregex-9a59660fb1a417a0.rlib" "/opt/rustwide/target/debug/deps/libthread_local-0fa9223d2071c166.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-807f2c476a0e6b86.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-d8c4a7233d44e5b2.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-fe37456595fe7be2.rlib" "/opt/rustwide/target/debug/deps/libmemchr-6694212c7172d5bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-219fc620be977b79.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-f5064c1d87ea3eaf.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-6bc0764cb7f4dd96.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-72042f7f9ab0950a.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-7a49e61f83b63f93.rlib" "/opt/rustwide/target/debug/deps/libhaybale-6643b194aab96158.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-8a024152e0a5fa49.rlib" "/opt/rustwide/target/debug/deps/libitertools-13165e453a7c753f.rlib" "/opt/rustwide/target/debug/deps/libboolector-e3be9da9ee6498ee.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-b437cdaf36df183c.rlib" "/opt/rustwide/target/debug/deps/libreduce-d98e40e1161844ff.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-e3c66f530931b34f.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-6df2b390ebf1074a.rlib" "/opt/rustwide/target/debug/deps/liblog-7d3993e8061c37ae.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-c207894dabf2ad2d.rlib" "/opt/rustwide/target/debug/deps/libeither-19da0396cea95667.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-08a4768c1a2b5f93.rlib" "/opt/rustwide/target/debug/deps/liblibc-e4dfce483ea4fe1d.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-205127404fcba336.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-a657948fb7763780.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-4af901391177f653.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-9bdd51edf637d1e0.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-df9a9630b2ea2e1e.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-fddbfe63d5cc9339.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-dc1fcc6e43806791.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-e2f4bff19e00107e.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-a152d13c1d7ed405.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-d92b841792fc008d.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-a64c249515c023f5.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-57654524b3e40c00.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-72180f1527a726a2.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-990cc8f4a91a3ab4.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lboolector [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 `haybale`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [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.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/throwcatch_tests-863bbb6dd430a95e.throwcatch_tests.cvtdzz32-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-863bbb6dd430a95e.throwcatch_tests.cvtdzz32-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-863bbb6dd430a95e.throwcatch_tests.cvtdzz32-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-863bbb6dd430a95e.throwcatch_tests.cvtdzz32-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-863bbb6dd430a95e.throwcatch_tests.cvtdzz32-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-863bbb6dd430a95e.throwcatch_tests.cvtdzz32-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-863bbb6dd430a95e.throwcatch_tests.cvtdzz32-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-863bbb6dd430a95e.throwcatch_tests.cvtdzz32-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-863bbb6dd430a95e.throwcatch_tests.cvtdzz32-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-863bbb6dd430a95e.throwcatch_tests.cvtdzz32-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-863bbb6dd430a95e.throwcatch_tests.cvtdzz32-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-863bbb6dd430a95e.throwcatch_tests.cvtdzz32-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-863bbb6dd430a95e.throwcatch_tests.cvtdzz32-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-863bbb6dd430a95e.throwcatch_tests.cvtdzz32-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-863bbb6dd430a95e.throwcatch_tests.cvtdzz32-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-863bbb6dd430a95e.throwcatch_tests.cvtdzz32-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/throwcatch_tests-863bbb6dd430a95e" "/opt/rustwide/target/debug/deps/throwcatch_tests-863bbb6dd430a95e.27kig8qg5tv4x2ha.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-51c1f07463ff9c17/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-4cd41cbbd393b22c.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-792ab0e121399ab5.rlib" "/opt/rustwide/target/debug/deps/libatty-95e8b99d25a88bbd.rlib" "/opt/rustwide/target/debug/deps/libhumantime-d78f99fa4ce0baff.rlib" "/opt/rustwide/target/debug/deps/libquick_error-204ac078bfe743c8.rlib" "/opt/rustwide/target/debug/deps/libregex-9a59660fb1a417a0.rlib" "/opt/rustwide/target/debug/deps/libthread_local-0fa9223d2071c166.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-807f2c476a0e6b86.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-d8c4a7233d44e5b2.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-fe37456595fe7be2.rlib" "/opt/rustwide/target/debug/deps/libmemchr-6694212c7172d5bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-219fc620be977b79.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-f5064c1d87ea3eaf.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-6bc0764cb7f4dd96.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-72042f7f9ab0950a.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-7a49e61f83b63f93.rlib" "/opt/rustwide/target/debug/deps/libhaybale-6643b194aab96158.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-8a024152e0a5fa49.rlib" "/opt/rustwide/target/debug/deps/libitertools-13165e453a7c753f.rlib" "/opt/rustwide/target/debug/deps/libboolector-e3be9da9ee6498ee.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-b437cdaf36df183c.rlib" "/opt/rustwide/target/debug/deps/libreduce-d98e40e1161844ff.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-e3c66f530931b34f.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-6df2b390ebf1074a.rlib" "/opt/rustwide/target/debug/deps/liblog-7d3993e8061c37ae.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-c207894dabf2ad2d.rlib" "/opt/rustwide/target/debug/deps/libeither-19da0396cea95667.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-08a4768c1a2b5f93.rlib" "/opt/rustwide/target/debug/deps/liblibc-e4dfce483ea4fe1d.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-205127404fcba336.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-a657948fb7763780.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-4af901391177f653.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-9bdd51edf637d1e0.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-df9a9630b2ea2e1e.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-fddbfe63d5cc9339.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-dc1fcc6e43806791.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-e2f4bff19e00107e.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-a152d13c1d7ed405.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-d92b841792fc008d.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-a64c249515c023f5.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-57654524b3e40c00.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-72180f1527a726a2.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-990cc8f4a91a3ab4.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lboolector [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 `haybale`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [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.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/hook_tests-b7cd0862e231d1ad.hook_tests.bgcgfmir-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-b7cd0862e231d1ad.hook_tests.bgcgfmir-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-b7cd0862e231d1ad.hook_tests.bgcgfmir-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-b7cd0862e231d1ad.hook_tests.bgcgfmir-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-b7cd0862e231d1ad.hook_tests.bgcgfmir-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-b7cd0862e231d1ad.hook_tests.bgcgfmir-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-b7cd0862e231d1ad.hook_tests.bgcgfmir-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-b7cd0862e231d1ad.hook_tests.bgcgfmir-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-b7cd0862e231d1ad.hook_tests.bgcgfmir-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-b7cd0862e231d1ad.hook_tests.bgcgfmir-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-b7cd0862e231d1ad.hook_tests.bgcgfmir-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-b7cd0862e231d1ad.hook_tests.bgcgfmir-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-b7cd0862e231d1ad.hook_tests.bgcgfmir-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-b7cd0862e231d1ad.hook_tests.bgcgfmir-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-b7cd0862e231d1ad.hook_tests.bgcgfmir-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-b7cd0862e231d1ad.hook_tests.bgcgfmir-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/hook_tests-b7cd0862e231d1ad" "/opt/rustwide/target/debug/deps/hook_tests-b7cd0862e231d1ad.485rbaigd750newt.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-51c1f07463ff9c17/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-4cd41cbbd393b22c.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-792ab0e121399ab5.rlib" "/opt/rustwide/target/debug/deps/libatty-95e8b99d25a88bbd.rlib" "/opt/rustwide/target/debug/deps/libhumantime-d78f99fa4ce0baff.rlib" "/opt/rustwide/target/debug/deps/libquick_error-204ac078bfe743c8.rlib" "/opt/rustwide/target/debug/deps/libregex-9a59660fb1a417a0.rlib" "/opt/rustwide/target/debug/deps/libthread_local-0fa9223d2071c166.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-807f2c476a0e6b86.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-d8c4a7233d44e5b2.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-fe37456595fe7be2.rlib" "/opt/rustwide/target/debug/deps/libmemchr-6694212c7172d5bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-219fc620be977b79.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-f5064c1d87ea3eaf.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-6bc0764cb7f4dd96.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-72042f7f9ab0950a.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-7a49e61f83b63f93.rlib" "/opt/rustwide/target/debug/deps/libhaybale-6643b194aab96158.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-8a024152e0a5fa49.rlib" "/opt/rustwide/target/debug/deps/libitertools-13165e453a7c753f.rlib" "/opt/rustwide/target/debug/deps/libboolector-e3be9da9ee6498ee.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-b437cdaf36df183c.rlib" "/opt/rustwide/target/debug/deps/libreduce-d98e40e1161844ff.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-e3c66f530931b34f.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-6df2b390ebf1074a.rlib" "/opt/rustwide/target/debug/deps/liblog-7d3993e8061c37ae.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-c207894dabf2ad2d.rlib" "/opt/rustwide/target/debug/deps/libeither-19da0396cea95667.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-08a4768c1a2b5f93.rlib" "/opt/rustwide/target/debug/deps/liblibc-e4dfce483ea4fe1d.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-205127404fcba336.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-a657948fb7763780.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-4af901391177f653.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-9bdd51edf637d1e0.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-df9a9630b2ea2e1e.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-fddbfe63d5cc9339.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-dc1fcc6e43806791.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-e2f4bff19e00107e.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-a152d13c1d7ed405.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-d92b841792fc008d.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-a64c249515c023f5.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-57654524b3e40c00.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-72180f1527a726a2.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-990cc8f4a91a3ab4.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lboolector [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.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/may_abort_tests-9f70513907163e68.may_abort_tests.cec5ri80-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9f70513907163e68.may_abort_tests.cec5ri80-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9f70513907163e68.may_abort_tests.cec5ri80-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9f70513907163e68.may_abort_tests.cec5ri80-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9f70513907163e68.may_abort_tests.cec5ri80-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9f70513907163e68.may_abort_tests.cec5ri80-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9f70513907163e68.may_abort_tests.cec5ri80-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9f70513907163e68.may_abort_tests.cec5ri80-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9f70513907163e68.may_abort_tests.cec5ri80-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9f70513907163e68.may_abort_tests.cec5ri80-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9f70513907163e68.may_abort_tests.cec5ri80-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9f70513907163e68.may_abort_tests.cec5ri80-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9f70513907163e68.may_abort_tests.cec5ri80-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9f70513907163e68.may_abort_tests.cec5ri80-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9f70513907163e68.may_abort_tests.cec5ri80-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-9f70513907163e68.may_abort_tests.cec5ri80-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/may_abort_tests-9f70513907163e68" "/opt/rustwide/target/debug/deps/may_abort_tests-9f70513907163e68.ll54j26ldx4zo4l.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-51c1f07463ff9c17/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-4cd41cbbd393b22c.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-792ab0e121399ab5.rlib" "/opt/rustwide/target/debug/deps/libatty-95e8b99d25a88bbd.rlib" "/opt/rustwide/target/debug/deps/libhumantime-d78f99fa4ce0baff.rlib" "/opt/rustwide/target/debug/deps/libquick_error-204ac078bfe743c8.rlib" "/opt/rustwide/target/debug/deps/libregex-9a59660fb1a417a0.rlib" "/opt/rustwide/target/debug/deps/libthread_local-0fa9223d2071c166.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-807f2c476a0e6b86.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-d8c4a7233d44e5b2.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-fe37456595fe7be2.rlib" "/opt/rustwide/target/debug/deps/libmemchr-6694212c7172d5bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-219fc620be977b79.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-f5064c1d87ea3eaf.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-6bc0764cb7f4dd96.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-72042f7f9ab0950a.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-7a49e61f83b63f93.rlib" "/opt/rustwide/target/debug/deps/libhaybale-6643b194aab96158.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-8a024152e0a5fa49.rlib" "/opt/rustwide/target/debug/deps/libitertools-13165e453a7c753f.rlib" "/opt/rustwide/target/debug/deps/libboolector-e3be9da9ee6498ee.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-b437cdaf36df183c.rlib" "/opt/rustwide/target/debug/deps/libreduce-d98e40e1161844ff.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-e3c66f530931b34f.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-6df2b390ebf1074a.rlib" "/opt/rustwide/target/debug/deps/liblog-7d3993e8061c37ae.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-c207894dabf2ad2d.rlib" "/opt/rustwide/target/debug/deps/libeither-19da0396cea95667.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-08a4768c1a2b5f93.rlib" "/opt/rustwide/target/debug/deps/liblibc-e4dfce483ea4fe1d.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-205127404fcba336.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-a657948fb7763780.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-4af901391177f653.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-9bdd51edf637d1e0.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-df9a9630b2ea2e1e.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-fddbfe63d5cc9339.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-dc1fcc6e43806791.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-e2f4bff19e00107e.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-a152d13c1d7ed405.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-d92b841792fc008d.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-a64c249515c023f5.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-57654524b3e40c00.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-72180f1527a726a2.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-990cc8f4a91a3ab4.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lboolector [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 `haybale`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: could not compile `haybale`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [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.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/struct_tests-bf6bc4efa3f966a7.struct_tests.2sjm2d4u-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-bf6bc4efa3f966a7.struct_tests.2sjm2d4u-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-bf6bc4efa3f966a7.struct_tests.2sjm2d4u-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-bf6bc4efa3f966a7.struct_tests.2sjm2d4u-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-bf6bc4efa3f966a7.struct_tests.2sjm2d4u-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-bf6bc4efa3f966a7.struct_tests.2sjm2d4u-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-bf6bc4efa3f966a7.struct_tests.2sjm2d4u-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-bf6bc4efa3f966a7.struct_tests.2sjm2d4u-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-bf6bc4efa3f966a7.struct_tests.2sjm2d4u-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-bf6bc4efa3f966a7.struct_tests.2sjm2d4u-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-bf6bc4efa3f966a7.struct_tests.2sjm2d4u-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-bf6bc4efa3f966a7.struct_tests.2sjm2d4u-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-bf6bc4efa3f966a7.struct_tests.2sjm2d4u-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-bf6bc4efa3f966a7.struct_tests.2sjm2d4u-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-bf6bc4efa3f966a7.struct_tests.2sjm2d4u-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-bf6bc4efa3f966a7.struct_tests.2sjm2d4u-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/struct_tests-bf6bc4efa3f966a7" "/opt/rustwide/target/debug/deps/struct_tests-bf6bc4efa3f966a7.24rty9pqpticqc17.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-51c1f07463ff9c17/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-4cd41cbbd393b22c.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-792ab0e121399ab5.rlib" "/opt/rustwide/target/debug/deps/libatty-95e8b99d25a88bbd.rlib" "/opt/rustwide/target/debug/deps/libhumantime-d78f99fa4ce0baff.rlib" "/opt/rustwide/target/debug/deps/libquick_error-204ac078bfe743c8.rlib" "/opt/rustwide/target/debug/deps/libregex-9a59660fb1a417a0.rlib" "/opt/rustwide/target/debug/deps/libthread_local-0fa9223d2071c166.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-807f2c476a0e6b86.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-d8c4a7233d44e5b2.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-fe37456595fe7be2.rlib" "/opt/rustwide/target/debug/deps/libmemchr-6694212c7172d5bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-219fc620be977b79.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-f5064c1d87ea3eaf.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-6bc0764cb7f4dd96.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-72042f7f9ab0950a.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-7a49e61f83b63f93.rlib" "/opt/rustwide/target/debug/deps/libhaybale-6643b194aab96158.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-8a024152e0a5fa49.rlib" "/opt/rustwide/target/debug/deps/libitertools-13165e453a7c753f.rlib" "/opt/rustwide/target/debug/deps/libboolector-e3be9da9ee6498ee.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-b437cdaf36df183c.rlib" "/opt/rustwide/target/debug/deps/libreduce-d98e40e1161844ff.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-e3c66f530931b34f.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-6df2b390ebf1074a.rlib" "/opt/rustwide/target/debug/deps/liblog-7d3993e8061c37ae.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-c207894dabf2ad2d.rlib" "/opt/rustwide/target/debug/deps/libeither-19da0396cea95667.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-08a4768c1a2b5f93.rlib" "/opt/rustwide/target/debug/deps/liblibc-e4dfce483ea4fe1d.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-205127404fcba336.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-a657948fb7763780.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-4af901391177f653.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-9bdd51edf637d1e0.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-df9a9630b2ea2e1e.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-fddbfe63d5cc9339.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-dc1fcc6e43806791.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-e2f4bff19e00107e.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-a152d13c1d7ed405.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-d92b841792fc008d.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-a64c249515c023f5.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-57654524b3e40c00.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-72180f1527a726a2.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-990cc8f4a91a3ab4.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lboolector [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 `haybale`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [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.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/simd_tests-20b6dfe2b8adffe4.simd_tests.c2k7ibmz-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-20b6dfe2b8adffe4.simd_tests.c2k7ibmz-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-20b6dfe2b8adffe4.simd_tests.c2k7ibmz-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-20b6dfe2b8adffe4.simd_tests.c2k7ibmz-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-20b6dfe2b8adffe4.simd_tests.c2k7ibmz-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-20b6dfe2b8adffe4.simd_tests.c2k7ibmz-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-20b6dfe2b8adffe4.simd_tests.c2k7ibmz-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-20b6dfe2b8adffe4.simd_tests.c2k7ibmz-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-20b6dfe2b8adffe4.simd_tests.c2k7ibmz-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-20b6dfe2b8adffe4.simd_tests.c2k7ibmz-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-20b6dfe2b8adffe4.simd_tests.c2k7ibmz-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-20b6dfe2b8adffe4.simd_tests.c2k7ibmz-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-20b6dfe2b8adffe4.simd_tests.c2k7ibmz-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-20b6dfe2b8adffe4.simd_tests.c2k7ibmz-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-20b6dfe2b8adffe4.simd_tests.c2k7ibmz-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-20b6dfe2b8adffe4.simd_tests.c2k7ibmz-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/simd_tests-20b6dfe2b8adffe4" "/opt/rustwide/target/debug/deps/simd_tests-20b6dfe2b8adffe4.3czimpjbqmu1ykp4.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-51c1f07463ff9c17/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-4cd41cbbd393b22c.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-792ab0e121399ab5.rlib" "/opt/rustwide/target/debug/deps/libatty-95e8b99d25a88bbd.rlib" "/opt/rustwide/target/debug/deps/libhumantime-d78f99fa4ce0baff.rlib" "/opt/rustwide/target/debug/deps/libquick_error-204ac078bfe743c8.rlib" "/opt/rustwide/target/debug/deps/libregex-9a59660fb1a417a0.rlib" "/opt/rustwide/target/debug/deps/libthread_local-0fa9223d2071c166.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-807f2c476a0e6b86.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-d8c4a7233d44e5b2.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-fe37456595fe7be2.rlib" "/opt/rustwide/target/debug/deps/libmemchr-6694212c7172d5bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-219fc620be977b79.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-f5064c1d87ea3eaf.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-6bc0764cb7f4dd96.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-72042f7f9ab0950a.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-7a49e61f83b63f93.rlib" "/opt/rustwide/target/debug/deps/libhaybale-6643b194aab96158.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-8a024152e0a5fa49.rlib" "/opt/rustwide/target/debug/deps/libitertools-13165e453a7c753f.rlib" "/opt/rustwide/target/debug/deps/libboolector-e3be9da9ee6498ee.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-b437cdaf36df183c.rlib" "/opt/rustwide/target/debug/deps/libreduce-d98e40e1161844ff.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-e3c66f530931b34f.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-6df2b390ebf1074a.rlib" "/opt/rustwide/target/debug/deps/liblog-7d3993e8061c37ae.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-c207894dabf2ad2d.rlib" "/opt/rustwide/target/debug/deps/libeither-19da0396cea95667.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-08a4768c1a2b5f93.rlib" "/opt/rustwide/target/debug/deps/liblibc-e4dfce483ea4fe1d.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-205127404fcba336.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-a657948fb7763780.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-4af901391177f653.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-9bdd51edf637d1e0.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-df9a9630b2ea2e1e.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-fddbfe63d5cc9339.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-dc1fcc6e43806791.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-e2f4bff19e00107e.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-a152d13c1d7ed405.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-d92b841792fc008d.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-a64c249515c023f5.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-57654524b3e40c00.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-72180f1527a726a2.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-990cc8f4a91a3ab4.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lboolector [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 `haybale`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [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.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/global_tests-07a7dd9b579f2ab0.global_tests.76xvlmwc-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-07a7dd9b579f2ab0.global_tests.76xvlmwc-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-07a7dd9b579f2ab0.global_tests.76xvlmwc-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-07a7dd9b579f2ab0.global_tests.76xvlmwc-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-07a7dd9b579f2ab0.global_tests.76xvlmwc-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-07a7dd9b579f2ab0.global_tests.76xvlmwc-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-07a7dd9b579f2ab0.global_tests.76xvlmwc-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-07a7dd9b579f2ab0.global_tests.76xvlmwc-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-07a7dd9b579f2ab0.global_tests.76xvlmwc-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-07a7dd9b579f2ab0.global_tests.76xvlmwc-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-07a7dd9b579f2ab0.global_tests.76xvlmwc-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-07a7dd9b579f2ab0.global_tests.76xvlmwc-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-07a7dd9b579f2ab0.global_tests.76xvlmwc-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-07a7dd9b579f2ab0.global_tests.76xvlmwc-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-07a7dd9b579f2ab0.global_tests.76xvlmwc-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-07a7dd9b579f2ab0.global_tests.76xvlmwc-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/global_tests-07a7dd9b579f2ab0" "/opt/rustwide/target/debug/deps/global_tests-07a7dd9b579f2ab0.34xpghnb6vk1srp2.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-51c1f07463ff9c17/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-4cd41cbbd393b22c.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-792ab0e121399ab5.rlib" "/opt/rustwide/target/debug/deps/libatty-95e8b99d25a88bbd.rlib" "/opt/rustwide/target/debug/deps/libhumantime-d78f99fa4ce0baff.rlib" "/opt/rustwide/target/debug/deps/libquick_error-204ac078bfe743c8.rlib" "/opt/rustwide/target/debug/deps/libregex-9a59660fb1a417a0.rlib" "/opt/rustwide/target/debug/deps/libthread_local-0fa9223d2071c166.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-807f2c476a0e6b86.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-d8c4a7233d44e5b2.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-fe37456595fe7be2.rlib" "/opt/rustwide/target/debug/deps/libmemchr-6694212c7172d5bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-219fc620be977b79.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-f5064c1d87ea3eaf.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-6bc0764cb7f4dd96.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-72042f7f9ab0950a.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-7a49e61f83b63f93.rlib" "/opt/rustwide/target/debug/deps/libhaybale-6643b194aab96158.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-8a024152e0a5fa49.rlib" "/opt/rustwide/target/debug/deps/libitertools-13165e453a7c753f.rlib" "/opt/rustwide/target/debug/deps/libboolector-e3be9da9ee6498ee.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-b437cdaf36df183c.rlib" "/opt/rustwide/target/debug/deps/libreduce-d98e40e1161844ff.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-e3c66f530931b34f.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-6df2b390ebf1074a.rlib" "/opt/rustwide/target/debug/deps/liblog-7d3993e8061c37ae.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-c207894dabf2ad2d.rlib" "/opt/rustwide/target/debug/deps/libeither-19da0396cea95667.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-08a4768c1a2b5f93.rlib" "/opt/rustwide/target/debug/deps/liblibc-e4dfce483ea4fe1d.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-205127404fcba336.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-a657948fb7763780.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-4af901391177f653.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-9bdd51edf637d1e0.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-df9a9630b2ea2e1e.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-fddbfe63d5cc9339.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-dc1fcc6e43806791.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-e2f4bff19e00107e.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-a152d13c1d7ed405.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-d92b841792fc008d.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-a64c249515c023f5.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-57654524b3e40c00.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-72180f1527a726a2.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-990cc8f4a91a3ab4.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lboolector [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 `haybale`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [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.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/haybale-a922270a62909e8e.haybale.orz7ifoa-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-a922270a62909e8e.haybale.orz7ifoa-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-a922270a62909e8e.haybale.orz7ifoa-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-a922270a62909e8e.haybale.orz7ifoa-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-a922270a62909e8e.haybale.orz7ifoa-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-a922270a62909e8e.haybale.orz7ifoa-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-a922270a62909e8e.haybale.orz7ifoa-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-a922270a62909e8e.haybale.orz7ifoa-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-a922270a62909e8e.haybale.orz7ifoa-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-a922270a62909e8e.haybale.orz7ifoa-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-a922270a62909e8e.haybale.orz7ifoa-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-a922270a62909e8e.haybale.orz7ifoa-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-a922270a62909e8e.haybale.orz7ifoa-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-a922270a62909e8e.haybale.orz7ifoa-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-a922270a62909e8e.haybale.orz7ifoa-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-a922270a62909e8e.haybale.orz7ifoa-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/haybale-a922270a62909e8e" "/opt/rustwide/target/debug/deps/haybale-a922270a62909e8e.20vi8i2hzrs0r2hz.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-51c1f07463ff9c17/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libcpp_demangle-8a024152e0a5fa49.rlib" "/opt/rustwide/target/debug/deps/libenv_logger-4cd41cbbd393b22c.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-792ab0e121399ab5.rlib" "/opt/rustwide/target/debug/deps/libatty-95e8b99d25a88bbd.rlib" "/opt/rustwide/target/debug/deps/libhumantime-d78f99fa4ce0baff.rlib" "/opt/rustwide/target/debug/deps/libquick_error-204ac078bfe743c8.rlib" "/opt/rustwide/target/debug/deps/libregex-9a59660fb1a417a0.rlib" "/opt/rustwide/target/debug/deps/libthread_local-0fa9223d2071c166.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-807f2c476a0e6b86.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-d8c4a7233d44e5b2.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-fe37456595fe7be2.rlib" "/opt/rustwide/target/debug/deps/libmemchr-6694212c7172d5bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-219fc620be977b79.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-f5064c1d87ea3eaf.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-6bc0764cb7f4dd96.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-72042f7f9ab0950a.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-7a49e61f83b63f93.rlib" "/opt/rustwide/target/debug/deps/libitertools-13165e453a7c753f.rlib" "/opt/rustwide/target/debug/deps/libboolector-e3be9da9ee6498ee.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-b437cdaf36df183c.rlib" "/opt/rustwide/target/debug/deps/libreduce-d98e40e1161844ff.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-e3c66f530931b34f.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-6df2b390ebf1074a.rlib" "/opt/rustwide/target/debug/deps/liblog-7d3993e8061c37ae.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-c207894dabf2ad2d.rlib" "/opt/rustwide/target/debug/deps/libeither-19da0396cea95667.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-08a4768c1a2b5f93.rlib" "/opt/rustwide/target/debug/deps/liblibc-e4dfce483ea4fe1d.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-205127404fcba336.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-a657948fb7763780.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-4af901391177f653.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-9bdd51edf637d1e0.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-df9a9630b2ea2e1e.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-fddbfe63d5cc9339.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-dc1fcc6e43806791.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-e2f4bff19e00107e.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-a152d13c1d7ed405.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-d92b841792fc008d.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-a64c249515c023f5.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-57654524b3e40c00.rlib" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-72180f1527a726a2.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.44.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-990cc8f4a91a3ab4.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lboolector [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 `haybale`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] running `"docker" "inspect" "1824e8818ca29ed269aa45c1ad43a950f7a0bd7b0e330aaaeb8b4332d7162de9"` [INFO] running `"docker" "rm" "-f" "1824e8818ca29ed269aa45c1ad43a950f7a0bd7b0e330aaaeb8b4332d7162de9"` [INFO] [stdout] 1824e8818ca29ed269aa45c1ad43a950f7a0bd7b0e330aaaeb8b4332d7162de9