[INFO] fetching crate isla 0.2.0... [INFO] testing isla-0.2.0 against try#8de4c7234dd9b97c9d76b58671343fdbbc9a433e+target=x86_64-unknown-linux-musl for musl_upgrade_1_2_5_with_libc_patch_0 [INFO] extracting crate isla 0.2.0 into /workspace/builds/worker-2-tc1/source [INFO] started tweaking crates.io crate isla 0.2.0 [INFO] finished tweaking crates.io crate isla 0.2.0 [INFO] tweaked toml for crates.io crate isla 0.2.0 written to /workspace/builds/worker-2-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate isla 0.2.0 on toolchain 8de4c7234dd9b97c9d76b58671343fdbbc9a433e [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate isla 0.2.0 already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded rustversion v1.0.4 [INFO] [stderr] Downloaded crossbeam v0.7.3 [INFO] [stderr] Downloaded lalrpop-util v0.19.4 [INFO] [stderr] Downloaded pico-args v0.3.4 [INFO] [stderr] Downloaded isla-cat v0.2.0 [INFO] [stderr] Downloaded z3-sys v0.5.0 [INFO] [stderr] Downloaded isla-axiomatic v0.2.0 [INFO] [stderr] Downloaded loom v0.4.0 [INFO] [stderr] Downloaded crossbeam-utils v0.8.2 [INFO] [stderr] Downloaded once_cell v1.7.0 [INFO] [stderr] Downloaded isla-lib v0.2.0 [INFO] [stderr] Downloaded string_cache v0.8.1 [INFO] [stderr] Downloaded generator v0.6.24 [INFO] [stderr] Downloaded lalrpop v0.19.4 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/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" "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" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 76f8e3d5fec4898290e0c395ab02104e9dada0f729be4ca13a8303577f8f2898 [INFO] running `Command { std: "docker" "start" "-a" "76f8e3d5fec4898290e0c395ab02104e9dada0f729be4ca13a8303577f8f2898", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "76f8e3d5fec4898290e0c395ab02104e9dada0f729be4ca13a8303577f8f2898", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "76f8e3d5fec4898290e0c395ab02104e9dada0f729be4ca13a8303577f8f2898", kill_on_drop: false }` [INFO] [stdout] 76f8e3d5fec4898290e0c395ab02104e9dada0f729be4ca13a8303577f8f2898 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/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" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "build" "--frozen" "--message-format=json" "--target" "x86_64-unknown-linux-musl", kill_on_drop: false }` [INFO] [stdout] 3577cade2b09f5c3e887d49ff04fb877abad327216de7ceead44a5b4e6aed17f [INFO] running `Command { std: "docker" "start" "-a" "3577cade2b09f5c3e887d49ff04fb877abad327216de7ceead44a5b4e6aed17f", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.86 [INFO] [stderr] Compiling indexmap v1.6.1 [INFO] [stderr] Compiling log v0.4.14 [INFO] [stderr] Compiling crunchy v0.2.2 [INFO] [stderr] Compiling memchr v2.3.4 [INFO] [stderr] Compiling byteorder v1.3.4 [INFO] [stderr] Compiling once_cell v1.7.0 [INFO] [stderr] Compiling siphasher v0.3.3 [INFO] [stderr] Compiling thread_local v1.1.3 [INFO] [stderr] Compiling hashbrown v0.9.1 [INFO] [stderr] Compiling tiny-keccak v2.0.2 [INFO] [stderr] Compiling regex-syntax v0.6.22 [INFO] [stderr] Compiling phf_shared v0.8.0 [INFO] [stderr] Compiling bit-vec v0.6.3 [INFO] [stderr] Compiling aho-corasick v0.7.15 [INFO] [stderr] Compiling fixedbitset v0.2.0 [INFO] [stderr] Compiling lazy_static v1.4.0 [INFO] [stderr] Compiling either v1.6.1 [INFO] [stderr] Compiling precomputed-hash v0.1.1 [INFO] [stderr] Compiling new_debug_unreachable v1.0.4 [INFO] [stderr] Compiling syn v1.0.60 [INFO] [stderr] Compiling itertools v0.9.0 [INFO] [stderr] Compiling string_cache v0.8.1 [INFO] [stderr] Compiling bit-set v0.5.2 [INFO] [stderr] Compiling ena v0.14.0 [INFO] [stderr] Compiling quote v1.0.9 [INFO] [stderr] Compiling diff v0.1.12 [INFO] [stderr] Compiling dirs v1.0.5 [INFO] [stderr] Compiling petgraph v0.5.1 [INFO] [stderr] Compiling term v0.5.2 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling pico-args v0.3.4 [INFO] [stderr] Compiling crossbeam-utils v0.7.2 [INFO] [stderr] Compiling ascii-canvas v2.0.0 [INFO] [stderr] Compiling maybe-uninit v2.0.0 [INFO] [stderr] Compiling typenum v1.12.0 [INFO] [stderr] Compiling memoffset v0.5.6 [INFO] [stderr] Compiling serde_derive v1.0.123 [INFO] [stderr] Compiling crossbeam-epoch v0.8.2 [INFO] [stderr] Compiling serde v1.0.123 [INFO] [stderr] Compiling scopeguard v1.1.0 [INFO] [stderr] Compiling getrandom v0.1.16 [INFO] [stderr] Compiling byte-tools v0.3.1 [INFO] [stderr] Compiling block-padding v0.1.5 [INFO] [stderr] Compiling crossbeam-channel v0.4.4 [INFO] [stderr] Compiling crossbeam-queue v0.2.3 [INFO] [stderr] Compiling regex v1.4.3 [INFO] [stderr] Compiling crossbeam-deque v0.7.3 [INFO] [stderr] Compiling fake-simd v0.1.2 [INFO] [stderr] Compiling generic-array v0.12.3 [INFO] [stderr] Compiling opaque-debug v0.2.3 [INFO] [stderr] Compiling crossbeam v0.7.3 [INFO] [stderr] Compiling rand_core v0.5.1 [INFO] [stderr] Compiling z3-sys v0.5.0 [INFO] [stderr] Compiling block-buffer v0.7.3 [INFO] [stderr] Compiling digest v0.8.1 [INFO] [stderr] Compiling ppv-lite86 v0.2.10 [INFO] [stderr] Compiling plain v0.2.3 [INFO] [stderr] Compiling lalrpop-util v0.19.4 [INFO] [stderr] Compiling sha2 v0.8.2 [INFO] [stderr] Compiling lalrpop v0.19.4 [INFO] [stderr] Compiling isla v0.2.0 (/opt/rustwide/workdir) [INFO] [stderr] Compiling rand_chacha v0.2.2 [INFO] [stderr] Compiling getopts v0.2.21 [INFO] [stderr] Compiling rand v0.7.3 [INFO] [stderr] Compiling num_cpus v1.13.0 [INFO] [stderr] Compiling scroll_derive v0.10.5 [INFO] [stderr] Compiling scroll v0.10.2 [INFO] [stderr] Compiling goblin v0.2.3 [INFO] [stderr] Compiling toml v0.5.8 [INFO] [stderr] Compiling bincode v1.3.2 [INFO] [stderr] Compiling isla-cat v0.2.0 [INFO] [stderr] Compiling isla-lib v0.2.0 [INFO] [stderr] Compiling isla-axiomatic v0.2.0 [INFO] [stdout] warning: fields `num_threads` and `isa_config` are never read [INFO] [stdout] --> src/opts.rs:104:9 [INFO] [stdout] | [INFO] [stdout] 103 | pub struct CommonOpts<'ir, B> { [INFO] [stdout] | ---------- fields in this struct [INFO] [stdout] 104 | pub num_threads: usize, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 107 | pub isa_config: ISAConfig, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/rcrt1.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crti.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtbeginS.o" "/tmp/rustcLpl7w8/symbols.o" "<3 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/{libisla_lib-9437cd0a7666adbe.rlib,libbincode-d8700090f00483a6.rlib,libz3_sys-bb83c628c77bf92b.rlib}.rlib" "-lz3" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/{liblibc-6a112af245720cc1.rlib,libpetgraph-c0f6ed7b0b0162d4.rlib,libindexmap-dd232e1d726a1e3b.rlib,libhashbrown-aed633c8184090a0.rlib,libfixedbitset-9882e188145b7e24.rlib,libcrossbeam-914196a9f4778832.rlib,libcrossbeam_queue-c8b90f95d355dfab.rlib,libcrossbeam_channel-e4f7507907b6e89d.rlib,libcrossbeam_deque-db47a78e9b34b266.rlib,libcrossbeam_epoch-8701c7a50401fee7.rlib,libscopeguard-73056285f12cb829.rlib,libmemoffset-d1f7fdae4314fb01.rlib,libcrossbeam_utils-946317e8b534a400.rlib,libmaybe_uninit-56cae5b1ed8837f0.rlib,libcfg_if-2d17986ae484e939.rlib,libtoml-b6f343fc16f1d286.rlib,libsha2-62df610653018b36.rlib,libdigest-5931225e8b843731.rlib,libopaque_debug-a7962e22a4dc4c30.rlib,libfake_simd-a91f2f775e698a8f.rlib,libblock_buffer-eb4e7de01c627299.rlib,libgeneric_array-4de0f8b9c26a19bb.rlib,libtypenum-0d13c3a14e20be66.rlib,libblock_padding-5934d35e69a00a24.rlib,libbyte_tools-bed8c652a5ea9f13.rlib,libbyteorder-549def2b2525ef52.rlib,libserde-8c70bf5d47ca6481.rlib,liblazy_static-4b136fc9bfbd2c4b.rlib,liblalrpop_util-eaa3f6d04589ef2e.rlib,libregex-c0c0dc652760a26d.rlib,libthread_local-63de729dc5310d39.rlib,libonce_cell-eedf9e9dcb06715e.rlib,libregex_syntax-e5af858b2117774d.rlib,libaho_corasick-b254e07826576682.rlib,libmemchr-73e1d28ab8a2c4a0.rlib,libgetopts-7dd471ef4ce7d1cf.rlib,libunicode_width-a8c49d31449f9404.rlib}.rlib" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*}.rlib" "-lunwind" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libcfg_if-*,liblibc-*}.rlib" "-lc" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-L" "/tmp/rustcLpl7w8/raw-dylibs" "-Wl,-Bdynamic" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-nostartfiles" "-L" "." "-L" ".." "-L" ".." "-L" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained" "-L" "/lib/rustlib/x86_64-unknown-linux-musl/lib" "-o" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/zencode-a381183b59de887e" "-Wl,--gc-sections" "-static-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtendS.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtn.o" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: /usr/bin/ld: cannot find -lz3: No such file or directory [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `isla` (bin "zencode") due to 1 previous error [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/rcrt1.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crti.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtbeginS.o" "/tmp/rustcshFZvq/symbols.o" "<17 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/{libnum_cpus-8da43fcf27500876.rlib,libgetopts-7dd471ef4ce7d1cf.rlib,libunicode_width-a8c49d31449f9404.rlib,libisla_lib-9437cd0a7666adbe.rlib,libbincode-d8700090f00483a6.rlib,libz3_sys-bb83c628c77bf92b.rlib}.rlib" "-lz3" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/{liblibc-6a112af245720cc1.rlib,libpetgraph-c0f6ed7b0b0162d4.rlib,libindexmap-dd232e1d726a1e3b.rlib,libhashbrown-aed633c8184090a0.rlib,libfixedbitset-9882e188145b7e24.rlib,libcrossbeam-914196a9f4778832.rlib,libcrossbeam_queue-c8b90f95d355dfab.rlib,libcrossbeam_channel-e4f7507907b6e89d.rlib,libcrossbeam_deque-db47a78e9b34b266.rlib,libcrossbeam_epoch-8701c7a50401fee7.rlib,libscopeguard-73056285f12cb829.rlib,libmemoffset-d1f7fdae4314fb01.rlib,libcrossbeam_utils-946317e8b534a400.rlib,libmaybe_uninit-56cae5b1ed8837f0.rlib,libcfg_if-2d17986ae484e939.rlib,libtoml-b6f343fc16f1d286.rlib,libserde-8c70bf5d47ca6481.rlib,liblazy_static-4b136fc9bfbd2c4b.rlib,liblalrpop_util-eaa3f6d04589ef2e.rlib,libregex-c0c0dc652760a26d.rlib,libthread_local-63de729dc5310d39.rlib,libonce_cell-eedf9e9dcb06715e.rlib,libregex_syntax-e5af858b2117774d.rlib,libaho_corasick-b254e07826576682.rlib,libmemchr-73e1d28ab8a2c4a0.rlib,libsha2-62df610653018b36.rlib,libdigest-5931225e8b843731.rlib,libopaque_debug-a7962e22a4dc4c30.rlib,libfake_simd-a91f2f775e698a8f.rlib,libblock_buffer-eb4e7de01c627299.rlib,libgeneric_array-4de0f8b9c26a19bb.rlib,libtypenum-0d13c3a14e20be66.rlib,libblock_padding-5934d35e69a00a24.rlib,libbyte_tools-bed8c652a5ea9f13.rlib,libbyteorder-549def2b2525ef52.rlib}.rlib" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*}.rlib" "-lunwind" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libcfg_if-*,liblibc-*}.rlib" "-lc" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-L" "/tmp/rustcshFZvq/raw-dylibs" "-Wl,-Bdynamic" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-nostartfiles" "-L" "." "-L" ".." "-L" ".." "-L" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained" "-L" "/lib/rustlib/x86_64-unknown-linux-musl/lib" "-o" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/isla_property-226fbed97a5e3f04" "-Wl,--gc-sections" "-static-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtendS.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtn.o" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: /usr/bin/ld: cannot find -lz3: No such file or directory [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `isla` (bin "isla-property") due to 1 previous error [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/rcrt1.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crti.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtbeginS.o" "/tmp/rustcjnaTHP/symbols.o" "<17 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/{libnum_cpus-8da43fcf27500876.rlib,libgetopts-7dd471ef4ce7d1cf.rlib,libunicode_width-a8c49d31449f9404.rlib,libisla_lib-9437cd0a7666adbe.rlib,libbincode-d8700090f00483a6.rlib,libz3_sys-bb83c628c77bf92b.rlib}.rlib" "-lz3" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/{liblibc-6a112af245720cc1.rlib,libpetgraph-c0f6ed7b0b0162d4.rlib,libindexmap-dd232e1d726a1e3b.rlib,libhashbrown-aed633c8184090a0.rlib,libfixedbitset-9882e188145b7e24.rlib,libcrossbeam-914196a9f4778832.rlib,libcrossbeam_queue-c8b90f95d355dfab.rlib,libcrossbeam_channel-e4f7507907b6e89d.rlib,libcrossbeam_deque-db47a78e9b34b266.rlib,libcrossbeam_epoch-8701c7a50401fee7.rlib,libscopeguard-73056285f12cb829.rlib,libmemoffset-d1f7fdae4314fb01.rlib,libcrossbeam_utils-946317e8b534a400.rlib,libmaybe_uninit-56cae5b1ed8837f0.rlib,libcfg_if-2d17986ae484e939.rlib,libtoml-b6f343fc16f1d286.rlib,libserde-8c70bf5d47ca6481.rlib,liblazy_static-4b136fc9bfbd2c4b.rlib,liblalrpop_util-eaa3f6d04589ef2e.rlib,libregex-c0c0dc652760a26d.rlib,libthread_local-63de729dc5310d39.rlib,libonce_cell-eedf9e9dcb06715e.rlib,libregex_syntax-e5af858b2117774d.rlib,libaho_corasick-b254e07826576682.rlib,libmemchr-73e1d28ab8a2c4a0.rlib,libsha2-62df610653018b36.rlib,libdigest-5931225e8b843731.rlib,libopaque_debug-a7962e22a4dc4c30.rlib,libfake_simd-a91f2f775e698a8f.rlib,libblock_buffer-eb4e7de01c627299.rlib,libgeneric_array-4de0f8b9c26a19bb.rlib,libtypenum-0d13c3a14e20be66.rlib,libblock_padding-5934d35e69a00a24.rlib,libbyte_tools-bed8c652a5ea9f13.rlib,libbyteorder-549def2b2525ef52.rlib}.rlib" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*}.rlib" "-lunwind" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libcfg_if-*,liblibc-*}.rlib" "-lc" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-L" "/tmp/rustcjnaTHP/raw-dylibs" "-Wl,-Bdynamic" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-nostartfiles" "-L" "." "-L" ".." "-L" ".." "-L" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained" "-L" "/lib/rustlib/x86_64-unknown-linux-musl/lib" "-o" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/isla_property129-117cd7e3a0609c43" "-Wl,--gc-sections" "-static-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtendS.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtn.o" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: /usr/bin/ld: cannot find -lz3: No such file or directory [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `isla` (bin "isla-property129") due to 1 previous error [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/rcrt1.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crti.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtbeginS.o" "/tmp/rustcyuApxj/symbols.o" "<17 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/{libnum_cpus-8da43fcf27500876.rlib,libgetopts-7dd471ef4ce7d1cf.rlib,libunicode_width-a8c49d31449f9404.rlib,libisla_lib-9437cd0a7666adbe.rlib,libbincode-d8700090f00483a6.rlib,libz3_sys-bb83c628c77bf92b.rlib}.rlib" "-lz3" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/{liblibc-6a112af245720cc1.rlib,libpetgraph-c0f6ed7b0b0162d4.rlib,libindexmap-dd232e1d726a1e3b.rlib,libhashbrown-aed633c8184090a0.rlib,libfixedbitset-9882e188145b7e24.rlib,libcrossbeam-914196a9f4778832.rlib,libcrossbeam_queue-c8b90f95d355dfab.rlib,libcrossbeam_channel-e4f7507907b6e89d.rlib,libcrossbeam_deque-db47a78e9b34b266.rlib,libcrossbeam_epoch-8701c7a50401fee7.rlib,libscopeguard-73056285f12cb829.rlib,libmemoffset-d1f7fdae4314fb01.rlib,libcrossbeam_utils-946317e8b534a400.rlib,libmaybe_uninit-56cae5b1ed8837f0.rlib,libcfg_if-2d17986ae484e939.rlib,libtoml-b6f343fc16f1d286.rlib,libserde-8c70bf5d47ca6481.rlib,liblazy_static-4b136fc9bfbd2c4b.rlib,liblalrpop_util-eaa3f6d04589ef2e.rlib,libregex-c0c0dc652760a26d.rlib,libthread_local-63de729dc5310d39.rlib,libonce_cell-eedf9e9dcb06715e.rlib,libregex_syntax-e5af858b2117774d.rlib,libaho_corasick-b254e07826576682.rlib,libmemchr-73e1d28ab8a2c4a0.rlib,libsha2-62df610653018b36.rlib,libdigest-5931225e8b843731.rlib,libopaque_debug-a7962e22a4dc4c30.rlib,libfake_simd-a91f2f775e698a8f.rlib,libblock_buffer-eb4e7de01c627299.rlib,libgeneric_array-4de0f8b9c26a19bb.rlib,libtypenum-0d13c3a14e20be66.rlib,libblock_padding-5934d35e69a00a24.rlib,libbyte_tools-bed8c652a5ea9f13.rlib,libbyteorder-549def2b2525ef52.rlib}.rlib" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*}.rlib" "-lunwind" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libcfg_if-*,liblibc-*}.rlib" "-lc" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-L" "/tmp/rustcyuApxj/raw-dylibs" "-Wl,-Bdynamic" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-nostartfiles" "-L" "." "-L" ".." "-L" ".." "-L" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained" "-L" "/lib/rustlib/x86_64-unknown-linux-musl/lib" "-o" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/isla_preprocess-c9e8e11ade61ca89" "-Wl,--gc-sections" "-static-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtendS.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtn.o" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: /usr/bin/ld: cannot find -lz3: No such file or directory [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `isla` (bin "isla-preprocess") due to 1 previous error; 1 warning emitted [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/rcrt1.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crti.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtbeginS.o" "/tmp/rustcwJF2FT/symbols.o" "<17 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/{libnum_cpus-8da43fcf27500876.rlib,libgetopts-7dd471ef4ce7d1cf.rlib,libunicode_width-a8c49d31449f9404.rlib,libisla_lib-9437cd0a7666adbe.rlib,libbincode-d8700090f00483a6.rlib,libz3_sys-bb83c628c77bf92b.rlib}.rlib" "-lz3" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/{liblibc-6a112af245720cc1.rlib,libpetgraph-c0f6ed7b0b0162d4.rlib,libindexmap-dd232e1d726a1e3b.rlib,libhashbrown-aed633c8184090a0.rlib,libfixedbitset-9882e188145b7e24.rlib,libtoml-b6f343fc16f1d286.rlib,libserde-8c70bf5d47ca6481.rlib,liblalrpop_util-eaa3f6d04589ef2e.rlib,libregex-c0c0dc652760a26d.rlib,libthread_local-63de729dc5310d39.rlib,libonce_cell-eedf9e9dcb06715e.rlib,libregex_syntax-e5af858b2117774d.rlib,libaho_corasick-b254e07826576682.rlib,libmemchr-73e1d28ab8a2c4a0.rlib,libsha2-62df610653018b36.rlib,libdigest-5931225e8b843731.rlib,libopaque_debug-a7962e22a4dc4c30.rlib,libfake_simd-a91f2f775e698a8f.rlib,libblock_buffer-eb4e7de01c627299.rlib,libgeneric_array-4de0f8b9c26a19bb.rlib,libtypenum-0d13c3a14e20be66.rlib,libblock_padding-5934d35e69a00a24.rlib,libbyte_tools-bed8c652a5ea9f13.rlib,libbyteorder-549def2b2525ef52.rlib,libcrossbeam-914196a9f4778832.rlib,libcrossbeam_queue-c8b90f95d355dfab.rlib,libcrossbeam_channel-e4f7507907b6e89d.rlib,libcrossbeam_deque-db47a78e9b34b266.rlib,libcrossbeam_epoch-8701c7a50401fee7.rlib,libscopeguard-73056285f12cb829.rlib,libmemoffset-d1f7fdae4314fb01.rlib,libcrossbeam_utils-946317e8b534a400.rlib,liblazy_static-4b136fc9bfbd2c4b.rlib,libmaybe_uninit-56cae5b1ed8837f0.rlib,libcfg_if-2d17986ae484e939.rlib}.rlib" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*}.rlib" "-lunwind" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libcfg_if-*,liblibc-*}.rlib" "-lc" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-L" "/tmp/rustcwJF2FT/raw-dylibs" "-Wl,-Bdynamic" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-nostartfiles" "-L" "." "-L" ".." "-L" ".." "-L" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained" "-L" "/lib/rustlib/x86_64-unknown-linux-musl/lib" "-o" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/isla_execute_function-95a99db453b238a8" "-Wl,--gc-sections" "-static-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtendS.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtn.o" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: /usr/bin/ld: cannot find -lz3: No such file or directory [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `isla` (bin "isla-execute-function") due to 1 previous error [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/rcrt1.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crti.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtbeginS.o" "/tmp/rustcGfiaRR/symbols.o" "<17 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/{libnum_cpus-8da43fcf27500876.rlib,libgetopts-7dd471ef4ce7d1cf.rlib,libunicode_width-a8c49d31449f9404.rlib,libisla_axiomatic-e6184d6be2a1c20c.rlib,libgoblin-8fc050a8e54aa4d6.rlib,liblog-2fa663e3959e676f.rlib,libcfg_if-66d55f6b302e88c8.rlib,libplain-ac47dcaa8091a4d1.rlib,libscroll-03e0115b5aae2ec1.rlib,libisla_cat-833210447b643360.rlib,libisla_lib-9437cd0a7666adbe.rlib,libbincode-d8700090f00483a6.rlib,libz3_sys-bb83c628c77bf92b.rlib}.rlib" "-lz3" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/{liblibc-6a112af245720cc1.rlib,libpetgraph-c0f6ed7b0b0162d4.rlib,libindexmap-dd232e1d726a1e3b.rlib,libhashbrown-aed633c8184090a0.rlib,libfixedbitset-9882e188145b7e24.rlib,libtoml-b6f343fc16f1d286.rlib,libserde-8c70bf5d47ca6481.rlib,liblalrpop_util-eaa3f6d04589ef2e.rlib,libregex-c0c0dc652760a26d.rlib,libthread_local-63de729dc5310d39.rlib,libonce_cell-eedf9e9dcb06715e.rlib,libregex_syntax-e5af858b2117774d.rlib,libaho_corasick-b254e07826576682.rlib,libmemchr-73e1d28ab8a2c4a0.rlib,libsha2-62df610653018b36.rlib,libdigest-5931225e8b843731.rlib,libopaque_debug-a7962e22a4dc4c30.rlib,libfake_simd-a91f2f775e698a8f.rlib,libblock_buffer-eb4e7de01c627299.rlib,libgeneric_array-4de0f8b9c26a19bb.rlib,libtypenum-0d13c3a14e20be66.rlib,libblock_padding-5934d35e69a00a24.rlib,libbyte_tools-bed8c652a5ea9f13.rlib,libbyteorder-549def2b2525ef52.rlib,libcrossbeam-914196a9f4778832.rlib,libcrossbeam_queue-c8b90f95d355dfab.rlib,libcrossbeam_channel-e4f7507907b6e89d.rlib,libcrossbeam_deque-db47a78e9b34b266.rlib,libcrossbeam_epoch-8701c7a50401fee7.rlib,libscopeguard-73056285f12cb829.rlib,libmemoffset-d1f7fdae4314fb01.rlib,libcrossbeam_utils-946317e8b534a400.rlib,liblazy_static-4b136fc9bfbd2c4b.rlib,libmaybe_uninit-56cae5b1ed8837f0.rlib,libcfg_if-2d17986ae484e939.rlib}.rlib" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*}.rlib" "-lunwind" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libcfg_if-*,liblibc-*}.rlib" "-lc" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-L" "/tmp/rustcGfiaRR/raw-dylibs" "-Wl,-Bdynamic" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-nostartfiles" "-L" "." "-L" ".." "-L" ".." "-L" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained" "-L" "/lib/rustlib/x86_64-unknown-linux-musl/lib" "-o" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/isla_client-07fab8e349d8823d" "-Wl,--gc-sections" "-static-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtendS.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtn.o" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: /usr/bin/ld: cannot find -lz3: No such file or directory [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `isla` (bin "isla-client") due to 1 previous error [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/rcrt1.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crti.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtbeginS.o" "/tmp/rustcnQJWZu/symbols.o" "<17 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/{libnum_cpus-8da43fcf27500876.rlib,libgetopts-7dd471ef4ce7d1cf.rlib,libunicode_width-a8c49d31449f9404.rlib,libisla_axiomatic-e6184d6be2a1c20c.rlib,libgoblin-8fc050a8e54aa4d6.rlib,liblog-2fa663e3959e676f.rlib,libcfg_if-66d55f6b302e88c8.rlib,libplain-ac47dcaa8091a4d1.rlib,libscroll-03e0115b5aae2ec1.rlib,libisla_cat-833210447b643360.rlib,libisla_lib-9437cd0a7666adbe.rlib,libbincode-d8700090f00483a6.rlib,libz3_sys-bb83c628c77bf92b.rlib}.rlib" "-lz3" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/{liblibc-6a112af245720cc1.rlib,libpetgraph-c0f6ed7b0b0162d4.rlib,libindexmap-dd232e1d726a1e3b.rlib,libhashbrown-aed633c8184090a0.rlib,libfixedbitset-9882e188145b7e24.rlib,libtoml-b6f343fc16f1d286.rlib,libserde-8c70bf5d47ca6481.rlib,liblalrpop_util-eaa3f6d04589ef2e.rlib,libregex-c0c0dc652760a26d.rlib,libthread_local-63de729dc5310d39.rlib,libonce_cell-eedf9e9dcb06715e.rlib,libregex_syntax-e5af858b2117774d.rlib,libaho_corasick-b254e07826576682.rlib,libmemchr-73e1d28ab8a2c4a0.rlib,libsha2-62df610653018b36.rlib,libdigest-5931225e8b843731.rlib,libopaque_debug-a7962e22a4dc4c30.rlib,libfake_simd-a91f2f775e698a8f.rlib,libblock_buffer-eb4e7de01c627299.rlib,libgeneric_array-4de0f8b9c26a19bb.rlib,libtypenum-0d13c3a14e20be66.rlib,libblock_padding-5934d35e69a00a24.rlib,libbyte_tools-bed8c652a5ea9f13.rlib,libbyteorder-549def2b2525ef52.rlib,libcrossbeam-914196a9f4778832.rlib,libcrossbeam_queue-c8b90f95d355dfab.rlib,libcrossbeam_channel-e4f7507907b6e89d.rlib,libcrossbeam_deque-db47a78e9b34b266.rlib,libcrossbeam_epoch-8701c7a50401fee7.rlib,libscopeguard-73056285f12cb829.rlib,libmemoffset-d1f7fdae4314fb01.rlib,libcrossbeam_utils-946317e8b534a400.rlib,liblazy_static-4b136fc9bfbd2c4b.rlib,libmaybe_uninit-56cae5b1ed8837f0.rlib,libcfg_if-2d17986ae484e939.rlib}.rlib" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*}.rlib" "-lunwind" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libcfg_if-*,liblibc-*}.rlib" "-lc" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-L" "/tmp/rustcnQJWZu/raw-dylibs" "-Wl,-Bdynamic" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-nostartfiles" "-L" "." "-L" ".." "-L" ".." "-L" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained" "-L" "/lib/rustlib/x86_64-unknown-linux-musl/lib" "-o" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/isla_footprint-a3f2009b3186b58e" "-Wl,--gc-sections" "-static-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtendS.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtn.o" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: /usr/bin/ld: cannot find -lz3: No such file or directory [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `isla` (bin "isla-footprint") due to 1 previous error [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/rcrt1.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crti.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtbeginS.o" "/tmp/rustcGx77lV/symbols.o" "<17 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/{libnum_cpus-8da43fcf27500876.rlib,libgetopts-7dd471ef4ce7d1cf.rlib,libunicode_width-a8c49d31449f9404.rlib,libisla_axiomatic-e6184d6be2a1c20c.rlib,libgoblin-8fc050a8e54aa4d6.rlib,liblog-2fa663e3959e676f.rlib,libcfg_if-66d55f6b302e88c8.rlib,libplain-ac47dcaa8091a4d1.rlib,libscroll-03e0115b5aae2ec1.rlib,libisla_cat-833210447b643360.rlib,libisla_lib-9437cd0a7666adbe.rlib,libbincode-d8700090f00483a6.rlib,libz3_sys-bb83c628c77bf92b.rlib}.rlib" "-lz3" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/{liblibc-6a112af245720cc1.rlib,libpetgraph-c0f6ed7b0b0162d4.rlib,libindexmap-dd232e1d726a1e3b.rlib,libhashbrown-aed633c8184090a0.rlib,libfixedbitset-9882e188145b7e24.rlib,libtoml-b6f343fc16f1d286.rlib,libserde-8c70bf5d47ca6481.rlib,liblalrpop_util-eaa3f6d04589ef2e.rlib,libregex-c0c0dc652760a26d.rlib,libthread_local-63de729dc5310d39.rlib,libonce_cell-eedf9e9dcb06715e.rlib,libregex_syntax-e5af858b2117774d.rlib,libaho_corasick-b254e07826576682.rlib,libmemchr-73e1d28ab8a2c4a0.rlib,libsha2-62df610653018b36.rlib,libdigest-5931225e8b843731.rlib,libopaque_debug-a7962e22a4dc4c30.rlib,libfake_simd-a91f2f775e698a8f.rlib,libblock_buffer-eb4e7de01c627299.rlib,libgeneric_array-4de0f8b9c26a19bb.rlib,libtypenum-0d13c3a14e20be66.rlib,libblock_padding-5934d35e69a00a24.rlib,libbyte_tools-bed8c652a5ea9f13.rlib,libbyteorder-549def2b2525ef52.rlib,libcrossbeam-914196a9f4778832.rlib,libcrossbeam_queue-c8b90f95d355dfab.rlib,libcrossbeam_channel-e4f7507907b6e89d.rlib,libcrossbeam_deque-db47a78e9b34b266.rlib,libcrossbeam_epoch-8701c7a50401fee7.rlib,libscopeguard-73056285f12cb829.rlib,libmemoffset-d1f7fdae4314fb01.rlib,libcrossbeam_utils-946317e8b534a400.rlib,liblazy_static-4b136fc9bfbd2c4b.rlib,libmaybe_uninit-56cae5b1ed8837f0.rlib,libcfg_if-2d17986ae484e939.rlib}.rlib" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*}.rlib" "-lunwind" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libcfg_if-*,liblibc-*}.rlib" "-lc" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-L" "/tmp/rustcGx77lV/raw-dylibs" "-Wl,-Bdynamic" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-nostartfiles" "-L" "." "-L" ".." "-L" ".." "-L" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained" "-L" "/lib/rustlib/x86_64-unknown-linux-musl/lib" "-o" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/isla_axiomatic-f930b9730017f9ca" "-Wl,--gc-sections" "-static-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtendS.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtn.o" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: /usr/bin/ld: cannot find -lz3: No such file or directory [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `isla` (bin "isla-axiomatic") due to 1 previous error [INFO] running `Command { std: "docker" "inspect" "3577cade2b09f5c3e887d49ff04fb877abad327216de7ceead44a5b4e6aed17f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3577cade2b09f5c3e887d49ff04fb877abad327216de7ceead44a5b4e6aed17f", kill_on_drop: false }` [INFO] [stdout] 3577cade2b09f5c3e887d49ff04fb877abad327216de7ceead44a5b4e6aed17f