[INFO] crate haybale-pitchfork 0.2.0 is already in cache [INFO] testing haybale-pitchfork-0.2.0 against beta-2020-07-24 for beta-1.46-1 [INFO] extracting crate haybale-pitchfork 0.2.0 into /workspace/builds/worker-0/source [INFO] validating manifest of crates.io crate haybale-pitchfork 0.2.0 on toolchain beta-2020-07-24 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2020-07-24" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] started tweaking crates.io crate haybale-pitchfork 0.2.0 [INFO] finished tweaking crates.io crate haybale-pitchfork 0.2.0 [INFO] tweaked toml for crates.io crate haybale-pitchfork 0.2.0 written to /workspace/builds/worker-0/source/Cargo.toml [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2020-07-24" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }` [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2020-07-24" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env@sha256:a636fd89d022f18117e1dc8fb37a0a009933cdbbe082814857f0e2024962d47c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-07-24" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 78d1c6d128cd9485e5e3a9a403895a65bf7393aa2f97986bf375cfb9366d4f7b [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "78d1c6d128cd9485e5e3a9a403895a65bf7393aa2f97986bf375cfb9366d4f7b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "78d1c6d128cd9485e5e3a9a403895a65bf7393aa2f97986bf375cfb9366d4f7b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "78d1c6d128cd9485e5e3a9a403895a65bf7393aa2f97986bf375cfb9366d4f7b", kill_on_drop: false }` [INFO] [stdout] 78d1c6d128cd9485e5e3a9a403895a65bf7393aa2f97986bf375cfb9366d4f7b [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=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@sha256:a636fd89d022f18117e1dc8fb37a0a009933cdbbe082814857f0e2024962d47c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-07-24" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 36ed4f59097a9a869fcc48411dd0aabce00557a3297480e731a73537f34d7d12 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "36ed4f59097a9a869fcc48411dd0aabce00557a3297480e731a73537f34d7d12", kill_on_drop: false }` [INFO] [stderr] Compiling boolector-sys v0.4.0 [INFO] [stderr] Compiling reduce v0.1.3 [INFO] [stderr] Compiling log-mdc v0.1.0 [INFO] [stderr] Compiling antidote v1.0.0 [INFO] [stderr] Compiling itertools v0.9.0 [INFO] [stderr] Compiling cpp_demangle v0.2.16 [INFO] [stderr] Compiling thread-id v3.3.0 [INFO] [stderr] Compiling colored v1.9.3 [INFO] [stderr] Compiling llvm-sys v90.1.0 [INFO] [stderr] Compiling signal-hook v0.1.16 [INFO] [stderr] Compiling log4rs v0.10.0 [INFO] [stderr] Compiling crossterm v0.16.0 [INFO] [stderr] Compiling boolector v0.3.0 [INFO] [stderr] Compiling llvm-ir v0.5.4 [INFO] [stderr] Compiling haybale v0.4.0 [INFO] [stderr] Compiling haybale-pitchfork v0.2.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 29.45s [INFO] running `Command { std: "docker" "inspect" "36ed4f59097a9a869fcc48411dd0aabce00557a3297480e731a73537f34d7d12", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "36ed4f59097a9a869fcc48411dd0aabce00557a3297480e731a73537f34d7d12", kill_on_drop: false }` [INFO] [stdout] 36ed4f59097a9a869fcc48411dd0aabce00557a3297480e731a73537f34d7d12 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=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@sha256:a636fd89d022f18117e1dc8fb37a0a009933cdbbe082814857f0e2024962d47c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-07-24" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 0541168fa4571bcb05a7a841bb9e4f6d0afcfb6784469fb96fc0b834ed72457e [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "0541168fa4571bcb05a7a841bb9e4f6d0afcfb6784469fb96fc0b834ed72457e", kill_on_drop: false }` [INFO] [stderr] Compiling haybale-pitchfork v0.2.0 (/opt/rustwide/workdir) [INFO] [stdout] error: linking with `cc` failed: exit code: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-Wl,--eh-frame-hdr" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/ct-1fc7a8f5b96d75dc.ct.bq4ifvm6-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/ct-1fc7a8f5b96d75dc.ct.bq4ifvm6-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/ct-1fc7a8f5b96d75dc.ct.bq4ifvm6-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/ct-1fc7a8f5b96d75dc.ct.bq4ifvm6-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/ct-1fc7a8f5b96d75dc.ct.bq4ifvm6-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/ct-1fc7a8f5b96d75dc.ct.bq4ifvm6-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/ct-1fc7a8f5b96d75dc.ct.bq4ifvm6-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/ct-1fc7a8f5b96d75dc.ct.bq4ifvm6-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/ct-1fc7a8f5b96d75dc.ct.bq4ifvm6-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/ct-1fc7a8f5b96d75dc.ct.bq4ifvm6-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/ct-1fc7a8f5b96d75dc.ct.bq4ifvm6-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/ct-1fc7a8f5b96d75dc.ct.bq4ifvm6-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/ct-1fc7a8f5b96d75dc.ct.bq4ifvm6-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/ct-1fc7a8f5b96d75dc.ct.bq4ifvm6-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/ct-1fc7a8f5b96d75dc.ct.bq4ifvm6-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/ct-1fc7a8f5b96d75dc.ct.bq4ifvm6-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/ct-1fc7a8f5b96d75dc" "/opt/rustwide/target/debug/deps/ct-1fc7a8f5b96d75dc.17b2dr7et9rj2ats.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-64ff24d4ebf620f2/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-12320b97c89568cd.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-700356192fffd298.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-b7642fe67be89b55.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-5281c8ee01ffdf7b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-a4e3948fb2172e36.rlib" "/opt/rustwide/target/debug/deps/libhaybale_pitchfork-f7eb2045cb5680c2.rlib" "/opt/rustwide/target/debug/deps/libenv_logger-29f6ad8609b34072.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-5143a25e61d9bfa5.rlib" "/opt/rustwide/target/debug/deps/libhumantime-76a7f109c5c66700.rlib" "/opt/rustwide/target/debug/deps/libquick_error-e15ea4fce168f797.rlib" "/opt/rustwide/target/debug/deps/libregex-9d7cc8905e175b99.rlib" "/opt/rustwide/target/debug/deps/libthread_local-b5a8520d8d18b76f.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-a1e9e1e3fc23ae94.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-82571f279f177a2c.rlib" "/opt/rustwide/target/debug/deps/libmemchr-8df1994bb164e7a2.rlib" "/opt/rustwide/target/debug/deps/libcrossterm-2654fd206e787c6e.rlib" "/opt/rustwide/target/debug/deps/libsignal_hook-b4b03ecafedced18.rlib" "/opt/rustwide/target/debug/deps/libsignal_hook_registry-dff482ca96563e64.rlib" "/opt/rustwide/target/debug/deps/libmio-413a874cbe32250a.rlib" "/opt/rustwide/target/debug/deps/libslab-e0e9bebbbea2c5c2.rlib" "/opt/rustwide/target/debug/deps/libiovec-f844988195678a81.rlib" "/opt/rustwide/target/debug/deps/libnet2-0d7f4416e167f4dd.rlib" "/opt/rustwide/target/debug/deps/libbitflags-ef3b499484556621.rlib" "/opt/rustwide/target/debug/deps/libparking_lot-987c46752f346876.rlib" "/opt/rustwide/target/debug/deps/libparking_lot_core-1d57c97886372cae.rlib" "/opt/rustwide/target/debug/deps/libsmallvec-d0f08b689d388bfb.rlib" "/opt/rustwide/target/debug/deps/liblock_api-17912a304b318435.rlib" "/opt/rustwide/target/debug/deps/libscopeguard-f8ee11e5515cbd29.rlib" "/opt/rustwide/target/debug/deps/libcolored-78a89629c28d1d8b.rlib" "/opt/rustwide/target/debug/deps/libatty-12222e46c3c2fc91.rlib" "/opt/rustwide/target/debug/deps/liblog4rs-240608525d964ca7.rlib" "/opt/rustwide/target/debug/deps/libthread_id-503682190490d9b6.rlib" "/opt/rustwide/target/debug/deps/liblog_mdc-30d8f5c95baf0f45.rlib" "/opt/rustwide/target/debug/deps/libchrono-86dc39ea4512f831.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-e54ff5c58ffa8fbe.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-a4049703dfa73e00.rlib" "/opt/rustwide/target/debug/deps/libtime-c00033fc565fa916.rlib" "/opt/rustwide/target/debug/deps/libantidote-fa3365c3deddef7f.rlib" "/opt/rustwide/target/debug/deps/libfnv-c2227cfbdd7b9572.rlib" "/opt/rustwide/target/debug/deps/libarc_swap-8fad81a5baa8ce52.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-03dc560a77c5aa3e.rlib" "/opt/rustwide/target/debug/deps/libhaybale-3545c402995062bb.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-48a30c1d96c08dfe.rlib" "/opt/rustwide/target/debug/deps/libitertools-a7ff8b891b0c0adc.rlib" "/opt/rustwide/target/debug/deps/libboolector-2c7df3e5e0a94c9c.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-a6475932cdcfa14b.rlib" "/opt/rustwide/target/debug/deps/libreduce-8a46a1a0745faef8.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-becdbf8f7e05c013.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-e844863ed2f944d3.rlib" "/opt/rustwide/target/debug/deps/liblog-51760c8d9f0a0b95.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-727e218cbe4629d5.rlib" "/opt/rustwide/target/debug/deps/libeither-56bcfa1bc0d47530.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-c4b6337640e9d001.rlib" "/opt/rustwide/target/debug/deps/liblibc-1da13201d615d981.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-d66e0ceb8eaec9b8.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-9717ec0599b569a0.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-04369de9ba916647.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-997d622c2e4dbe5c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-0359c4288a5ef89f.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-1b25ede22d698ab3.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-37940b486a68e488.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-06b77c27e794c7c6.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-4d07e02a8df36da1.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-fb29e0695c0a0f79.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-e16188b4cf97e8bb.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-5eb391c8dabdee77.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-b0689b528b222bee.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-ed072ac495e62e7a.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] [stdout] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `haybale-pitchfork`. [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] [stdout] error: linking with `cc` failed: exit code: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-Wl,--eh-frame-hdr" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/ct_haybale-d8d1ad396a781090.ct_haybale.8hrf4vd7-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/ct_haybale-d8d1ad396a781090.ct_haybale.8hrf4vd7-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/ct_haybale-d8d1ad396a781090.ct_haybale.8hrf4vd7-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/ct_haybale-d8d1ad396a781090.ct_haybale.8hrf4vd7-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/ct_haybale-d8d1ad396a781090.ct_haybale.8hrf4vd7-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/ct_haybale-d8d1ad396a781090.ct_haybale.8hrf4vd7-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/ct_haybale-d8d1ad396a781090.ct_haybale.8hrf4vd7-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/ct_haybale-d8d1ad396a781090.ct_haybale.8hrf4vd7-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/ct_haybale-d8d1ad396a781090.ct_haybale.8hrf4vd7-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/ct_haybale-d8d1ad396a781090.ct_haybale.8hrf4vd7-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/ct_haybale-d8d1ad396a781090.ct_haybale.8hrf4vd7-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/ct_haybale-d8d1ad396a781090.ct_haybale.8hrf4vd7-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/ct_haybale-d8d1ad396a781090.ct_haybale.8hrf4vd7-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/ct_haybale-d8d1ad396a781090.ct_haybale.8hrf4vd7-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/ct_haybale-d8d1ad396a781090.ct_haybale.8hrf4vd7-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/ct_haybale-d8d1ad396a781090.ct_haybale.8hrf4vd7-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/ct_haybale-d8d1ad396a781090" "/opt/rustwide/target/debug/deps/ct_haybale-d8d1ad396a781090.2umzcuqfb08jyx15.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-64ff24d4ebf620f2/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-12320b97c89568cd.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-700356192fffd298.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-b7642fe67be89b55.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-5281c8ee01ffdf7b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-a4e3948fb2172e36.rlib" "/opt/rustwide/target/debug/deps/libhaybale_pitchfork-f7eb2045cb5680c2.rlib" "/opt/rustwide/target/debug/deps/libenv_logger-29f6ad8609b34072.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-5143a25e61d9bfa5.rlib" "/opt/rustwide/target/debug/deps/libhumantime-76a7f109c5c66700.rlib" "/opt/rustwide/target/debug/deps/libquick_error-e15ea4fce168f797.rlib" "/opt/rustwide/target/debug/deps/libregex-9d7cc8905e175b99.rlib" "/opt/rustwide/target/debug/deps/libthread_local-b5a8520d8d18b76f.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-a1e9e1e3fc23ae94.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-82571f279f177a2c.rlib" "/opt/rustwide/target/debug/deps/libmemchr-8df1994bb164e7a2.rlib" "/opt/rustwide/target/debug/deps/libcrossterm-2654fd206e787c6e.rlib" "/opt/rustwide/target/debug/deps/libsignal_hook-b4b03ecafedced18.rlib" "/opt/rustwide/target/debug/deps/libsignal_hook_registry-dff482ca96563e64.rlib" "/opt/rustwide/target/debug/deps/libmio-413a874cbe32250a.rlib" "/opt/rustwide/target/debug/deps/libslab-e0e9bebbbea2c5c2.rlib" "/opt/rustwide/target/debug/deps/libiovec-f844988195678a81.rlib" "/opt/rustwide/target/debug/deps/libnet2-0d7f4416e167f4dd.rlib" "/opt/rustwide/target/debug/deps/libbitflags-ef3b499484556621.rlib" "/opt/rustwide/target/debug/deps/libparking_lot-987c46752f346876.rlib" "/opt/rustwide/target/debug/deps/libparking_lot_core-1d57c97886372cae.rlib" "/opt/rustwide/target/debug/deps/libsmallvec-d0f08b689d388bfb.rlib" "/opt/rustwide/target/debug/deps/liblock_api-17912a304b318435.rlib" "/opt/rustwide/target/debug/deps/libscopeguard-f8ee11e5515cbd29.rlib" "/opt/rustwide/target/debug/deps/libcolored-78a89629c28d1d8b.rlib" "/opt/rustwide/target/debug/deps/libatty-12222e46c3c2fc91.rlib" "/opt/rustwide/target/debug/deps/liblog4rs-240608525d964ca7.rlib" "/opt/rustwide/target/debug/deps/libthread_id-503682190490d9b6.rlib" "/opt/rustwide/target/debug/deps/liblog_mdc-30d8f5c95baf0f45.rlib" "/opt/rustwide/target/debug/deps/libchrono-86dc39ea4512f831.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-e54ff5c58ffa8fbe.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-a4049703dfa73e00.rlib" "/opt/rustwide/target/debug/deps/libtime-c00033fc565fa916.rlib" "/opt/rustwide/target/debug/deps/libantidote-fa3365c3deddef7f.rlib" "/opt/rustwide/target/debug/deps/libfnv-c2227cfbdd7b9572.rlib" "/opt/rustwide/target/debug/deps/libarc_swap-8fad81a5baa8ce52.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-03dc560a77c5aa3e.rlib" "/opt/rustwide/target/debug/deps/libhaybale-3545c402995062bb.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-48a30c1d96c08dfe.rlib" "/opt/rustwide/target/debug/deps/libitertools-a7ff8b891b0c0adc.rlib" "/opt/rustwide/target/debug/deps/libboolector-2c7df3e5e0a94c9c.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-a6475932cdcfa14b.rlib" "/opt/rustwide/target/debug/deps/libreduce-8a46a1a0745faef8.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-becdbf8f7e05c013.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-e844863ed2f944d3.rlib" "/opt/rustwide/target/debug/deps/liblog-51760c8d9f0a0b95.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-727e218cbe4629d5.rlib" "/opt/rustwide/target/debug/deps/libeither-56bcfa1bc0d47530.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-c4b6337640e9d001.rlib" "/opt/rustwide/target/debug/deps/liblibc-1da13201d615d981.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-d66e0ceb8eaec9b8.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-9717ec0599b569a0.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-04369de9ba916647.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-997d622c2e4dbe5c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-0359c4288a5ef89f.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-1b25ede22d698ab3.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-37940b486a68e488.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-06b77c27e794c7c6.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-4d07e02a8df36da1.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-fb29e0695c0a0f79.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-e16188b4cf97e8bb.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-5eb391c8dabdee77.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-b0689b528b222bee.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-ed072ac495e62e7a.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] [stdout] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: linking with `cc` failed: exit code: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-Wl,--eh-frame-hdr" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/haybale_pitchfork-1ae5ebf98b615fc2.haybale_pitchfork.1kfgesvt-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/haybale_pitchfork-1ae5ebf98b615fc2.haybale_pitchfork.1kfgesvt-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/haybale_pitchfork-1ae5ebf98b615fc2.haybale_pitchfork.1kfgesvt-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/haybale_pitchfork-1ae5ebf98b615fc2.haybale_pitchfork.1kfgesvt-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/haybale_pitchfork-1ae5ebf98b615fc2.haybale_pitchfork.1kfgesvt-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/haybale_pitchfork-1ae5ebf98b615fc2.haybale_pitchfork.1kfgesvt-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/haybale_pitchfork-1ae5ebf98b615fc2.haybale_pitchfork.1kfgesvt-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/haybale_pitchfork-1ae5ebf98b615fc2.haybale_pitchfork.1kfgesvt-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/haybale_pitchfork-1ae5ebf98b615fc2.haybale_pitchfork.1kfgesvt-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/haybale_pitchfork-1ae5ebf98b615fc2.haybale_pitchfork.1kfgesvt-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/haybale_pitchfork-1ae5ebf98b615fc2.haybale_pitchfork.1kfgesvt-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/haybale_pitchfork-1ae5ebf98b615fc2.haybale_pitchfork.1kfgesvt-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/haybale_pitchfork-1ae5ebf98b615fc2.haybale_pitchfork.1kfgesvt-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/haybale_pitchfork-1ae5ebf98b615fc2.haybale_pitchfork.1kfgesvt-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/haybale_pitchfork-1ae5ebf98b615fc2.haybale_pitchfork.1kfgesvt-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/haybale_pitchfork-1ae5ebf98b615fc2.haybale_pitchfork.1kfgesvt-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/haybale_pitchfork-1ae5ebf98b615fc2" "/opt/rustwide/target/debug/deps/haybale_pitchfork-1ae5ebf98b615fc2.57y3whpjikjx3t10.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-64ff24d4ebf620f2/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-12320b97c89568cd.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-700356192fffd298.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-b7642fe67be89b55.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-5281c8ee01ffdf7b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-a4e3948fb2172e36.rlib" "/opt/rustwide/target/debug/deps/libenv_logger-29f6ad8609b34072.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-5143a25e61d9bfa5.rlib" "/opt/rustwide/target/debug/deps/libhumantime-76a7f109c5c66700.rlib" "/opt/rustwide/target/debug/deps/libquick_error-e15ea4fce168f797.rlib" "/opt/rustwide/target/debug/deps/libregex-9d7cc8905e175b99.rlib" "/opt/rustwide/target/debug/deps/libthread_local-b5a8520d8d18b76f.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-a1e9e1e3fc23ae94.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-82571f279f177a2c.rlib" "/opt/rustwide/target/debug/deps/libmemchr-8df1994bb164e7a2.rlib" "/opt/rustwide/target/debug/deps/libcrossterm-2654fd206e787c6e.rlib" "/opt/rustwide/target/debug/deps/libsignal_hook-b4b03ecafedced18.rlib" "/opt/rustwide/target/debug/deps/libsignal_hook_registry-dff482ca96563e64.rlib" "/opt/rustwide/target/debug/deps/libmio-413a874cbe32250a.rlib" "/opt/rustwide/target/debug/deps/libslab-e0e9bebbbea2c5c2.rlib" "/opt/rustwide/target/debug/deps/libiovec-f844988195678a81.rlib" "/opt/rustwide/target/debug/deps/libnet2-0d7f4416e167f4dd.rlib" "/opt/rustwide/target/debug/deps/libbitflags-ef3b499484556621.rlib" "/opt/rustwide/target/debug/deps/libparking_lot-987c46752f346876.rlib" "/opt/rustwide/target/debug/deps/libparking_lot_core-1d57c97886372cae.rlib" "/opt/rustwide/target/debug/deps/libsmallvec-d0f08b689d388bfb.rlib" "/opt/rustwide/target/debug/deps/liblock_api-17912a304b318435.rlib" "/opt/rustwide/target/debug/deps/libscopeguard-f8ee11e5515cbd29.rlib" "/opt/rustwide/target/debug/deps/libcolored-78a89629c28d1d8b.rlib" "/opt/rustwide/target/debug/deps/libatty-12222e46c3c2fc91.rlib" "/opt/rustwide/target/debug/deps/liblog4rs-240608525d964ca7.rlib" "/opt/rustwide/target/debug/deps/libthread_id-503682190490d9b6.rlib" "/opt/rustwide/target/debug/deps/liblog_mdc-30d8f5c95baf0f45.rlib" "/opt/rustwide/target/debug/deps/libchrono-86dc39ea4512f831.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-e54ff5c58ffa8fbe.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-a4049703dfa73e00.rlib" "/opt/rustwide/target/debug/deps/libtime-c00033fc565fa916.rlib" "/opt/rustwide/target/debug/deps/libantidote-fa3365c3deddef7f.rlib" "/opt/rustwide/target/debug/deps/libfnv-c2227cfbdd7b9572.rlib" "/opt/rustwide/target/debug/deps/libarc_swap-8fad81a5baa8ce52.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-03dc560a77c5aa3e.rlib" "/opt/rustwide/target/debug/deps/libhaybale-3545c402995062bb.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-48a30c1d96c08dfe.rlib" "/opt/rustwide/target/debug/deps/libitertools-a7ff8b891b0c0adc.rlib" "/opt/rustwide/target/debug/deps/libboolector-2c7df3e5e0a94c9c.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-a6475932cdcfa14b.rlib" "/opt/rustwide/target/debug/deps/libreduce-8a46a1a0745faef8.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-becdbf8f7e05c013.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-e844863ed2f944d3.rlib" "/opt/rustwide/target/debug/deps/liblog-51760c8d9f0a0b95.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-727e218cbe4629d5.rlib" "/opt/rustwide/target/debug/deps/libeither-56bcfa1bc0d47530.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-c4b6337640e9d001.rlib" "/opt/rustwide/target/debug/deps/liblibc-1da13201d615d981.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-d66e0ceb8eaec9b8.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-9717ec0599b569a0.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-04369de9ba916647.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-997d622c2e4dbe5c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-0359c4288a5ef89f.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-1b25ede22d698ab3.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-37940b486a68e488.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-06b77c27e794c7c6.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-4d07e02a8df36da1.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-fb29e0695c0a0f79.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-e16188b4cf97e8bb.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-5eb391c8dabdee77.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-b0689b528b222bee.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-ed072ac495e62e7a.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] [stdout] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: build failed [INFO] running `Command { std: "docker" "inspect" "0541168fa4571bcb05a7a841bb9e4f6d0afcfb6784469fb96fc0b834ed72457e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0541168fa4571bcb05a7a841bb9e4f6d0afcfb6784469fb96fc0b834ed72457e", kill_on_drop: false }` [INFO] [stdout] 0541168fa4571bcb05a7a841bb9e4f6d0afcfb6784469fb96fc0b834ed72457e