[INFO] fetching crate leo3 0.2.1... [INFO] testing leo3-0.2.1 against master#562dee4820c458d823175268e41601d4c060588a for pr-154210-1 [INFO] extracting crate leo3 0.2.1 into /workspace/builds/worker-2-tc1/source [INFO] started tweaking crates.io crate leo3 0.2.1 [INFO] removed 0 missing examples [INFO] removed 0 missing tests [INFO] finished tweaking crates.io crate leo3 0.2.1 [INFO] tweaked toml for crates.io crate leo3 0.2.1 written to /workspace/builds/worker-2-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate leo3 0.2.1 on toolchain 562dee4820c458d823175268e41601d4c060588a [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate leo3 0.2.1 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" "+562dee4820c458d823175268e41601d4c060588a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded trybuild v1.0.116 [INFO] [stderr] Downloaded libloading v0.9.0 [INFO] [stderr] Downloaded leo3-build-config v0.2.1 [INFO] [stderr] Downloaded leo3-ffi v0.2.1 [INFO] [stderr] Downloaded leo3-macros-backend v0.2.1 [INFO] [stderr] Downloaded leo3-macros v0.2.1 [INFO] [stderr] Downloaded toml v1.0.0+spec-1.1.0 [INFO] [stderr] Downloaded target-triple v1.0.0 [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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 9dfded9d4667d068f77d269ae8ec6c13017ae50590dde51768597b94265752f8 [INFO] running `Command { std: "docker" "start" "-a" "9dfded9d4667d068f77d269ae8ec6c13017ae50590dde51768597b94265752f8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "9dfded9d4667d068f77d269ae8ec6c13017ae50590dde51768597b94265752f8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9dfded9d4667d068f77d269ae8ec6c13017ae50590dde51768597b94265752f8", kill_on_drop: false }` [INFO] [stdout] 9dfded9d4667d068f77d269ae8ec6c13017ae50590dde51768597b94265752f8 [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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] a0196f4a7a57bff397516e9171fb2c40b8bb10027cb37cc095708fec52d48879 [INFO] running `Command { std: "docker" "start" "-a" "a0196f4a7a57bff397516e9171fb2c40b8bb10027cb37cc095708fec52d48879", kill_on_drop: false }` [INFO] [stderr] Compiling leo3-build-config v0.2.1 [INFO] [stderr] Compiling quote v1.0.42 [INFO] [stderr] Compiling libc v0.2.182 [INFO] [stderr] Compiling libloading v0.9.0 [INFO] [stderr] Compiling syn v2.0.111 [INFO] [stderr] Compiling leo3-ffi v0.2.1 [INFO] [stderr] Compiling leo3 v0.2.1 (/opt/rustwide/workdir) [INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean [INFO] [stderr] Compiling leo3-macros-backend v0.2.1 [INFO] [stderr] Compiling leo3-macros v0.2.1 [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 12.34s [INFO] running `Command { std: "docker" "inspect" "a0196f4a7a57bff397516e9171fb2c40b8bb10027cb37cc095708fec52d48879", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a0196f4a7a57bff397516e9171fb2c40b8bb10027cb37cc095708fec52d48879", kill_on_drop: false }` [INFO] [stdout] a0196f4a7a57bff397516e9171fb2c40b8bb10027cb37cc095708fec52d48879 [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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 5715c28d7e315cff1ed6c508410b53f5d3acc1d6b322502ec94b82496f318222 [INFO] running `Command { std: "docker" "start" "-a" "5715c28d7e315cff1ed6c508410b53f5d3acc1d6b322502ec94b82496f318222", kill_on_drop: false }` [INFO] [stderr] Compiling memchr v2.7.6 [INFO] [stderr] Compiling zerocopy v0.8.31 [INFO] [stderr] Compiling serde_json v1.0.145 [INFO] [stderr] Compiling cc v1.2.55 [INFO] [stderr] Compiling futures-core v0.3.31 [INFO] [stderr] Compiling futures-sink v0.3.31 [INFO] [stderr] Compiling target-triple v1.0.0 [INFO] [stderr] Compiling ciborium-io v0.2.2 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling zerocopy-derive v0.8.31 [INFO] [stderr] Compiling futures-macro v0.3.31 [INFO] [stderr] Compiling plotters-backend v0.3.7 [INFO] [stderr] Compiling winnow v0.7.14 [INFO] [stderr] Compiling clap_builder v4.5.53 [INFO] [stderr] Compiling regex-automata v0.4.13 [INFO] [stderr] Compiling toml_datetime v1.0.0+spec-1.1.0 [INFO] [stderr] Compiling serde_spanned v1.0.4 [INFO] [stderr] Compiling cast v0.3.0 [INFO] [stderr] Compiling toml_writer v1.0.6+spec-1.1.0 [INFO] [stderr] Compiling futures-channel v0.3.31 [INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean [INFO] [stderr] Compiling rayon v1.11.0 [INFO] [stderr] Compiling plotters-svg v0.3.7 [INFO] [stderr] Compiling tokio-macros v2.6.0 [INFO] [stderr] Compiling page_size v0.6.0 [INFO] [stderr] Compiling plotters v0.3.7 [INFO] [stderr] Compiling oorandom v11.1.5 [INFO] [stderr] Compiling glob v0.3.3 [INFO] [stderr] Compiling anes v0.1.6 [INFO] [stderr] Compiling criterion-plot v0.8.2 [INFO] [stderr] Compiling futures-util v0.3.31 [INFO] [stderr] Compiling tokio v1.49.0 [INFO] [stderr] Compiling alloca v0.4.0 [INFO] [stderr] Compiling regex v1.12.2 [INFO] [stderr] Compiling toml_parser v1.0.7+spec-1.1.0 [INFO] [stderr] Compiling clap v4.5.53 [INFO] [stderr] Compiling toml v1.0.0+spec-1.1.0 [INFO] [stderr] Compiling half v2.7.1 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Compiling ciborium-ll v0.2.2 [INFO] [stderr] Compiling tinytemplate v1.2.1 [INFO] [stderr] Compiling ciborium v0.2.2 [INFO] [stderr] Compiling trybuild v1.0.116 [INFO] [stderr] Compiling futures-executor v0.3.31 [INFO] [stderr] Compiling criterion v0.8.2 [INFO] [stderr] Compiling futures v0.3.31 [INFO] [stderr] Compiling leo3 v0.2.1 (/opt/rustwide/workdir) [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcBqV4zk/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcBqV4zk/raw-dylibs" "-B/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_leanmodule-e09f01a5d3bc699b" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: rust-lld: error: undefined symbol: lean_alloc_object [INFO] [stdout] >>> referenced by lib.rs:421 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/lib.rs:421) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_leanmodule-e09f01a5d3bc699b.test_leanmodule.3277c482fbfefd86-cgu.0.rcgu.o:(leo3_ffi::lean_alloc_ctor) [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_initialize_runtime_module [INFO] [stdout] >>> referenced by test_leanmodule.rs:8 (tests/test_leanmodule.rs:8) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_leanmodule-e09f01a5d3bc699b.test_leanmodule.3277c482fbfefd86-cgu.0.rcgu.o:(initialize_TestModule) [INFO] [stdout] >>> referenced by environment.rs:53 (src/meta/environment.rs:53) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_initialize_thread [INFO] [stdout] >>> referenced by test_leanmodule.rs:8 (tests/test_leanmodule.rs:8) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_leanmodule-e09f01a5d3bc699b.test_leanmodule.3277c482fbfefd86-cgu.0.rcgu.o:(initialize_TestModule) [INFO] [stdout] >>> referenced by environment.rs:54 (src/meta/environment.rs:54) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_init_task_manager [INFO] [stdout] >>> referenced by environment.rs:55 (src/meta/environment.rs:55) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Expr [INFO] [stdout] >>> referenced by mod.rs:157 (src/meta/mod.rs:157) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Init_Prelude [INFO] [stdout] >>> referenced by mod.rs:137 (src/meta/mod.rs:137) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Environment [INFO] [stdout] >>> referenced by mod.rs:173 (src/meta/mod.rs:173) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Meta [INFO] [stdout] >>> referenced by mod.rs:177 (src/meta/mod.rs:177) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_util_module() [INFO] [stdout] >>> referenced by mod.rs:181 (src/meta/mod.rs:181) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_kernel_module() [INFO] [stdout] >>> referenced by mod.rs:182 (src/meta/mod.rs:182) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::init_default_print_fn() [INFO] [stdout] >>> referenced by mod.rs:185 (src/meta/mod.rs:185) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_library_core_module() [INFO] [stdout] >>> referenced by mod.rs:186 (src/meta/mod.rs:186) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_library_module() [INFO] [stdout] >>> referenced by mod.rs:187 (src/meta/mod.rs:187) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_io_mark_end_initialization [INFO] [stdout] >>> referenced by mod.rs:190 (src/meta/mod.rs:190) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcj6zOYN/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcj6zOYN/raw-dylibs" "-B/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_eq_proofs-0e8c61adec8e306d" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: rust-lld: error: undefined symbol: lean_dec_ref_cold [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_eq_proofs-0e8c61adec8e306d.test_eq_proofs.373f1dbab2a1-cgu.0.rcgu.o:( as core::ops::drop::Drop>::drop) [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::empty::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::handle_except_result_raw) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced 13 more times [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_initialize_runtime_module [INFO] [stdout] >>> referenced by environment.rs:53 (src/meta/environment.rs:53) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_initialize_thread [INFO] [stdout] >>> referenced by environment.rs:54 (src/meta/environment.rs:54) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_init_task_manager [INFO] [stdout] >>> referenced by environment.rs:55 (src/meta/environment.rs:55) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_elab_add_decl_without_checking [INFO] [stdout] >>> referenced by environment.rs:364 (src/meta/environment.rs:364) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::add_decl_unchecked::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_elab_environment_to_kernel_env [INFO] [stdout] >>> referenced by environment.rs:219 (src/meta/environment.rs:219) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::find::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_environment_find [INFO] [stdout] >>> referenced by environment.rs:224 (src/meta/environment.rs:224) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::find::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_mk_empty_environment [INFO] [stdout] >>> referenced by environment.rs:175 (src/meta/environment.rs:175) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::empty::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_mk_app [INFO] [stdout] >>> referenced by expr.rs:175 (src/meta/expr.rs:175) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::app) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_mk_bvar [INFO] [stdout] >>> referenced by expr.rs:59 (src/meta/expr.rs:59) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::bvar) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_mk_sort [INFO] [stdout] >>> referenced by expr.rs:123 (src/meta/expr.rs:123) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::sort) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_mk_const [INFO] [stdout] >>> referenced by expr.rs:149 (src/meta/expr.rs:149) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::const_) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_mk_forall [INFO] [stdout] >>> referenced by expr.rs:255 (src/meta/expr.rs:255) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::forall) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_mk_string [INFO] [stdout] >>> referenced by string.rs:39 (src/types/string.rs:39) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.08.rcgu.o:(::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_level_mk_zero [INFO] [stdout] >>> referenced by level.rs:52 (src/meta/level.rs:52) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.09.rcgu.o:(::one) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by level.rs:32 (src/meta/level.rs:32) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.09.rcgu.o:(::zero) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_level_mk_succ [INFO] [stdout] >>> referenced by level.rs:56 (src/meta/level.rs:56) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.09.rcgu.o:(::one) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_big_usize_to_nat [INFO] [stdout] >>> referenced by inline.rs:452 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:452) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_to_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Expr [INFO] [stdout] >>> referenced by mod.rs:157 (src/meta/mod.rs:157) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Init_Prelude [INFO] [stdout] >>> referenced by mod.rs:137 (src/meta/mod.rs:137) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Environment [INFO] [stdout] >>> referenced by mod.rs:173 (src/meta/mod.rs:173) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: too many errors emitted, stopping now (use --error-limit=0 to see all errors) [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean [INFO] [stderr] error: could not compile `leo3` (test "test_leanmodule") due to 1 previous error [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean [INFO] [stderr] error: could not compile `leo3` (test "test_eq_proofs") due to 1 previous error [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcn2zARL/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcn2zARL/raw-dylibs" "-B/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/string_ops-f481bbffd7f2b9e5" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: rust-lld: error: undefined symbol: lean_string_lt [INFO] [stdout] >>> referenced by string.rs:204 (src/types/string.rs:204) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.08.rcgu.o:(::lt) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_mk_string [INFO] [stdout] >>> referenced by string.rs:39 (src/types/string.rs:39) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.08.rcgu.o:(::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_string_push [INFO] [stdout] >>> referenced by string.rs:123 (src/types/string.rs:123) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.08.rcgu.o:(::push) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_string_append [INFO] [stdout] >>> referenced by string.rs:159 (src/types/string.rs:159) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.08.rcgu.o:(::append) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_string_utf8_extract [INFO] [stdout] >>> referenced by string.rs:391 (src/types/string.rs:391) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.08.rcgu.o:(::extract) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_initialize_runtime_module [INFO] [stdout] >>> referenced by environment.rs:53 (src/meta/environment.rs:53) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_initialize_thread [INFO] [stdout] >>> referenced by environment.rs:54 (src/meta/environment.rs:54) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_init_task_manager [INFO] [stdout] >>> referenced by environment.rs:55 (src/meta/environment.rs:55) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Expr [INFO] [stdout] >>> referenced by mod.rs:157 (src/meta/mod.rs:157) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Init_Prelude [INFO] [stdout] >>> referenced by mod.rs:137 (src/meta/mod.rs:137) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Environment [INFO] [stdout] >>> referenced by mod.rs:173 (src/meta/mod.rs:173) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Meta [INFO] [stdout] >>> referenced by mod.rs:177 (src/meta/mod.rs:177) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_util_module() [INFO] [stdout] >>> referenced by mod.rs:181 (src/meta/mod.rs:181) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_kernel_module() [INFO] [stdout] >>> referenced by mod.rs:182 (src/meta/mod.rs:182) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::init_default_print_fn() [INFO] [stdout] >>> referenced by mod.rs:185 (src/meta/mod.rs:185) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_library_core_module() [INFO] [stdout] >>> referenced by mod.rs:186 (src/meta/mod.rs:186) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_library_module() [INFO] [stdout] >>> referenced by mod.rs:187 (src/meta/mod.rs:187) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_io_mark_end_initialization [INFO] [stdout] >>> referenced by mod.rs:190 (src/meta/mod.rs:190) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_string_eq_cold [INFO] [stdout] >>> referenced by string.rs:237 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/string.rs:237) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.09.rcgu.o:(leo3_ffi::string::lean_string_eq) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_dec_ref_cold [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.15.rcgu.o:( as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean [INFO] [stderr] error: could not compile `leo3` (test "string_ops") due to 1 previous error [INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcA8tMWF/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcA8tMWF/raw-dylibs" "-B/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/float32_test-dbf3738f09895737" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: rust-lld: error: undefined symbol: lean_initialize_runtime_module [INFO] [stdout] >>> referenced by environment.rs:53 (src/meta/environment.rs:53) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_initialize_thread [INFO] [stdout] >>> referenced by environment.rs:54 (src/meta/environment.rs:54) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_init_task_manager [INFO] [stdout] >>> referenced by environment.rs:55 (src/meta/environment.rs:55) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_alloc_object [INFO] [stdout] >>> referenced by lib.rs:421 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/lib.rs:421) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.13.rcgu.o:(leo3_ffi::lean_alloc_ctor) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Expr [INFO] [stdout] >>> referenced by mod.rs:157 (src/meta/mod.rs:157) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Init_Prelude [INFO] [stdout] >>> referenced by mod.rs:137 (src/meta/mod.rs:137) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Environment [INFO] [stdout] >>> referenced by mod.rs:173 (src/meta/mod.rs:173) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Meta [INFO] [stdout] >>> referenced by mod.rs:177 (src/meta/mod.rs:177) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_util_module() [INFO] [stdout] >>> referenced by mod.rs:181 (src/meta/mod.rs:181) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_kernel_module() [INFO] [stdout] >>> referenced by mod.rs:182 (src/meta/mod.rs:182) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::init_default_print_fn() [INFO] [stdout] >>> referenced by mod.rs:185 (src/meta/mod.rs:185) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_library_core_module() [INFO] [stdout] >>> referenced by mod.rs:186 (src/meta/mod.rs:186) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_library_module() [INFO] [stdout] >>> referenced by mod.rs:187 (src/meta/mod.rs:187) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_io_mark_end_initialization [INFO] [stdout] >>> referenced by mod.rs:190 (src/meta/mod.rs:190) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_float32_isinf [INFO] [stdout] >>> referenced by float32.rs:134 (src/types/float32.rs:134) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(::isInf) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_float32_isnan [INFO] [stdout] >>> referenced by float32.rs:116 (src/types/float32.rs:116) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(::isNaN) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_float32_of_bits [INFO] [stdout] >>> referenced by float32.rs:71 (src/types/float32.rs:71) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(::ofBits) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_float32_to_bits [INFO] [stdout] >>> referenced by float32.rs:82 (src/types/float32.rs:82) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(::toBits) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_dec_ref_cold [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.15.rcgu.o:( as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.15.rcgu.o:( as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `leo3` (test "float32_test") due to 1 previous error [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcchuSin/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcchuSin/raw-dylibs" "-B/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_proof_utils-b2974bea0a051a2d" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: rust-lld: error: undefined symbol: lean_initialize_runtime_module [INFO] [stdout] >>> referenced by environment.rs:53 (src/meta/environment.rs:53) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_initialize_thread [INFO] [stdout] >>> referenced by environment.rs:54 (src/meta/environment.rs:54) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_init_task_manager [INFO] [stdout] >>> referenced by environment.rs:55 (src/meta/environment.rs:55) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_mk_empty_environment [INFO] [stdout] >>> referenced by environment.rs:175 (src/meta/environment.rs:175) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::empty::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_dec_ref_cold [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::empty::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.15.rcgu.o:( as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.15.rcgu.o:( as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced 17 more times [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_mk_bvar [INFO] [stdout] >>> referenced by expr.rs:59 (src/meta/expr.rs:59) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::bvar) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_mk_sort [INFO] [stdout] >>> referenced by expr.rs:123 (src/meta/expr.rs:123) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::sort) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_mk_forall [INFO] [stdout] >>> referenced by expr.rs:255 (src/meta/expr.rs:255) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::forall) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_mk_lambda [INFO] [stdout] >>> referenced by expr.rs:223 (src/meta/expr.rs:223) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::lambda) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_mk_string_from_bytes [INFO] [stdout] >>> referenced by context.rs:183 (src/meta/context.rs:183) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(::mk_empty_filemap) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by context.rs:378 (src/meta/context.rs:378) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(::mk_name_generator) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_array_push [INFO] [stdout] >>> referenced by context.rs:187 (src/meta/context.rs:187) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(::mk_empty_filemap) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_name_mk_string [INFO] [stdout] >>> referenced by context.rs:379 (src/meta/context.rs:379) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(::mk_name_generator) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by name.rs:104 (src/meta/name.rs:104) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.13.rcgu.o:(::append_str) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_mk_array [INFO] [stdout] >>> referenced by context.rs:474 (src/meta/context.rs:474) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(::mk_empty_std_hashmap) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_big_usize_to_nat [INFO] [stdout] >>> referenced by inline.rs:452 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:452) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_to_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: l_Std_HashSet_empty___rarg [INFO] [stdout] >>> referenced by hashset.rs:37 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/hashset.rs:37) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.10.rcgu.o:(leo3_ffi::hashset::lean_hashset_empty) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_level_mk_zero [INFO] [stdout] >>> referenced by level.rs:52 (src/meta/level.rs:52) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.09.rcgu.o:(::one) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by level.rs:32 (src/meta/level.rs:32) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.09.rcgu.o:(::zero) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_level_mk_succ [INFO] [stdout] >>> referenced by level.rs:56 (src/meta/level.rs:56) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.09.rcgu.o:(::one) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_mk_string [INFO] [stdout] >>> referenced by string.rs:39 (src/types/string.rs:39) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.08.rcgu.o:(::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Expr [INFO] [stdout] >>> referenced by mod.rs:157 (src/meta/mod.rs:157) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Init_Prelude [INFO] [stdout] >>> referenced by mod.rs:137 (src/meta/mod.rs:137) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: too many errors emitted, stopping now (use --error-limit=0 to see all errors) [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean [INFO] [stderr] error: could not compile `leo3` (test "test_proof_utils") due to 1 previous error [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcudJY3G/symbols.o" "<4 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcudJY3G/raw-dylibs" "-B/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_leanclass-13bfee473e79802b" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: rust-lld: error: undefined symbol: lean_alloc_object [INFO] [stdout] >>> referenced by inline.rs:2864 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2864) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_leanclass-13bfee473e79802b.test_leanclass.1bfae31b6e885cb9-cgu.0.rcgu.o:(>>::new) [INFO] [stdout] >>> referenced by inline.rs:2864 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2864) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_leanclass-13bfee473e79802b.test_leanclass.1bfae31b6e885cb9-cgu.0.rcgu.o:(>>::new) [INFO] [stdout] >>> referenced by lib.rs:421 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/lib.rs:421) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.13.rcgu.o:(leo3_ffi::lean_alloc_ctor) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_dec_ref_cold [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_leanclass-13bfee473e79802b.test_leanclass.1bfae31b6e885cb9-cgu.0.rcgu.o:(> as core::ops::drop::Drop>::drop) [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_leanclass-13bfee473e79802b.test_leanclass.1bfae31b6e885cb9-cgu.0.rcgu.o:(> as core::ops::drop::Drop>::drop) [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_leanclass-13bfee473e79802b.test_leanclass.1bfae31b6e885cb9-cgu.0.rcgu.o:( as core::ops::drop::Drop>::drop) [INFO] [stdout] >>> referenced 7 more times [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_register_external_class [INFO] [stdout] >>> referenced by external.rs:145 (src/external.rs:145) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_leanclass-13bfee473e79802b.test_leanclass.1bfae31b6e885cb9-cgu.2.rcgu.o:(leo3::external::create_external_class::) [INFO] [stdout] >>> referenced by external.rs:145 (src/external.rs:145) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_leanclass-13bfee473e79802b.test_leanclass.1bfae31b6e885cb9-cgu.2.rcgu.o:(leo3::external::create_external_class::) [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_initialize_runtime_module [INFO] [stdout] >>> referenced by environment.rs:53 (src/meta/environment.rs:53) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_initialize_thread [INFO] [stdout] >>> referenced by environment.rs:54 (src/meta/environment.rs:54) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_init_task_manager [INFO] [stdout] >>> referenced by environment.rs:55 (src/meta/environment.rs:55) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Expr [INFO] [stdout] >>> referenced by mod.rs:157 (src/meta/mod.rs:157) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Init_Prelude [INFO] [stdout] >>> referenced by mod.rs:137 (src/meta/mod.rs:137) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Environment [INFO] [stdout] >>> referenced by mod.rs:173 (src/meta/mod.rs:173) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Meta [INFO] [stdout] >>> referenced by mod.rs:177 (src/meta/mod.rs:177) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_util_module() [INFO] [stdout] >>> referenced by mod.rs:181 (src/meta/mod.rs:181) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_kernel_module() [INFO] [stdout] >>> referenced by mod.rs:182 (src/meta/mod.rs:182) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::init_default_print_fn() [INFO] [stdout] >>> referenced by mod.rs:185 (src/meta/mod.rs:185) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_library_core_module() [INFO] [stdout] >>> referenced by mod.rs:186 (src/meta/mod.rs:186) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_library_module() [INFO] [stdout] >>> referenced by mod.rs:187 (src/meta/mod.rs:187) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_io_mark_end_initialization [INFO] [stdout] >>> referenced by mod.rs:190 (src/meta/mod.rs:190) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcLzdUGN/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcLzdUGN/raw-dylibs" "-B/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_tactic-e2686f202eb59bde" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: rust-lld: error: undefined symbol: lean_checked_assign [INFO] [stdout] >>> referenced by inline.rs:0 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:0) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.04.rcgu.o:(leo3::meta::tactic::checked_assign) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by inline.rs:3107 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:3107) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.04.rcgu.o:(leo3::meta::tactic::checked_assign) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_alloc_object [INFO] [stdout] >>> referenced by inline.rs:2864 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2864) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.04.rcgu.o:(leo3::meta::tactic::checked_assign) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by lib.rs:421 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/lib.rs:421) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.13.rcgu.o:(leo3_ffi::lean_alloc_ctor) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by inline.rs:2864 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2864) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.13.rcgu.o:(::infer_type) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced 3 more times [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_initialize_runtime_module [INFO] [stdout] >>> referenced by environment.rs:53 (src/meta/environment.rs:53) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_initialize_thread [INFO] [stdout] >>> referenced by environment.rs:54 (src/meta/environment.rs:54) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_init_task_manager [INFO] [stdout] >>> referenced by environment.rs:55 (src/meta/environment.rs:55) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_mk_empty_environment [INFO] [stdout] >>> referenced by environment.rs:175 (src/meta/environment.rs:175) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::empty::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_dec_ref_cold [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::empty::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.13.rcgu.o:(::run::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.13.rcgu.o:(leo3_ffi::io::lean_io_result_take_value) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced 17 more times [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_binder_info [INFO] [stdout] >>> referenced by expr.rs:712 (src/meta/expr.rs:712) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::forall_info) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_instantiate1 [INFO] [stdout] >>> referenced by expr.rs:850 (src/meta/expr.rs:850) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::instantiate1) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_mk_app [INFO] [stdout] >>> referenced by expr.rs:175 (src/meta/expr.rs:175) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::app) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_mk_bvar [INFO] [stdout] >>> referenced by expr.rs:59 (src/meta/expr.rs:59) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::bvar) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_mk_mvar [INFO] [stdout] >>> referenced by expr.rs:102 (src/meta/expr.rs:102) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::mvar) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_mk_sort [INFO] [stdout] >>> referenced by expr.rs:123 (src/meta/expr.rs:123) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::sort) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_mk_const [INFO] [stdout] >>> referenced by expr.rs:149 (src/meta/expr.rs:149) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::const_) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_mk_lambda [INFO] [stdout] >>> referenced by expr.rs:223 (src/meta/expr.rs:223) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::lambda) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_mk_string [INFO] [stdout] >>> referenced by string.rs:39 (src/types/string.rs:39) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.08.rcgu.o:(::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_level_mk_zero [INFO] [stdout] >>> referenced by level.rs:32 (src/meta/level.rs:32) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.09.rcgu.o:(::zero) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: l_Std_HashSet_empty___rarg [INFO] [stdout] >>> referenced by hashset.rs:37 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/hashset.rs:37) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.10.rcgu.o:(leo3_ffi::hashset::lean_hashset_empty) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_mk_string_from_bytes [INFO] [stdout] >>> referenced by context.rs:183 (src/meta/context.rs:183) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(::mk_empty_filemap) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by context.rs:378 (src/meta/context.rs:378) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(::mk_name_generator) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_array_push [INFO] [stdout] >>> referenced by context.rs:187 (src/meta/context.rs:187) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(::mk_empty_filemap) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: too many errors emitted, stopping now (use --error-limit=0 to see all errors) [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean [INFO] [stderr] error: could not compile `leo3` (test "test_tactic") due to 1 previous error [INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean [INFO] [stderr] error: could not compile `leo3` (test "test_leanclass") due to 1 previous error [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcgryHlM/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcgryHlM/raw-dylibs" "-B/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/int_ops-c63a9a21d69da181" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: rust-lld: error: undefined symbol: lean_int_big_eq [INFO] [stdout] >>> referenced by inline.rs:992 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:992) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_eq) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_int_big_le [INFO] [stdout] >>> referenced by inline.rs:1005 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:1005) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_le) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_int_big_lt [INFO] [stdout] >>> referenced by inline.rs:1018 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:1018) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_lt) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_int_big_add [INFO] [stdout] >>> referenced by inline.rs:795 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:795) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_add) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_int_big_div [INFO] [stdout] >>> referenced by inline.rs:851 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:851) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_div) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_int_big_mod [INFO] [stdout] >>> referenced by inline.rs:881 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:881) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_mod) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_int_big_mul [INFO] [stdout] >>> referenced by inline.rs:821 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:821) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_mul) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_int_big_neg [INFO] [stdout] >>> referenced by inline.rs:759 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:759) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_neg) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_int_big_sub [INFO] [stdout] >>> referenced by inline.rs:808 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:808) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_sub) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_int_big_ediv [INFO] [stdout] >>> referenced by inline.rs:923 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:923) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_ediv) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_int_big_emod [INFO] [stdout] >>> referenced by inline.rs:979 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:979) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_emod) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_big_size_t_to_int [INFO] [stdout] >>> referenced by inline.rs:742 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:742) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_nat_to_int) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_big_int64_to_int [INFO] [stdout] >>> referenced by inline.rs:693 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:693) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int64_to_int) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_big_usize_to_nat [INFO] [stdout] >>> referenced by inline.rs:452 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:452) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_to_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_dec_ref_cold [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.13.rcgu.o:(::neg) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.15.rcgu.o:( as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.15.rcgu.o:( as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean [INFO] [stderr] error: could not compile `leo3` (test "int_ops") due to 1 previous error [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcJqg1wq/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcJqg1wq/raw-dylibs" "-B/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/array_ops-d35a64de2a579e2d" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: rust-lld: error: undefined symbol: lean_initialize_runtime_module [INFO] [stdout] >>> referenced by environment.rs:53 (src/meta/environment.rs:53) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_initialize_thread [INFO] [stdout] >>> referenced by environment.rs:54 (src/meta/environment.rs:54) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_init_task_manager [INFO] [stdout] >>> referenced by environment.rs:55 (src/meta/environment.rs:55) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_mk_string [INFO] [stdout] >>> referenced by string.rs:39 (src/types/string.rs:39) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.08.rcgu.o:(::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Expr [INFO] [stdout] >>> referenced by mod.rs:157 (src/meta/mod.rs:157) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Init_Prelude [INFO] [stdout] >>> referenced by mod.rs:137 (src/meta/mod.rs:137) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_dec_ref_cold [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(::getD) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.15.rcgu.o:( as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.15.rcgu.o:( as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced 4 more times [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Environment [INFO] [stdout] >>> referenced by mod.rs:173 (src/meta/mod.rs:173) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Meta [INFO] [stdout] >>> referenced by mod.rs:177 (src/meta/mod.rs:177) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_util_module() [INFO] [stdout] >>> referenced by mod.rs:181 (src/meta/mod.rs:181) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_kernel_module() [INFO] [stdout] >>> referenced by mod.rs:182 (src/meta/mod.rs:182) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::init_default_print_fn() [INFO] [stdout] >>> referenced by mod.rs:185 (src/meta/mod.rs:185) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_library_core_module() [INFO] [stdout] >>> referenced by mod.rs:186 (src/meta/mod.rs:186) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_library_module() [INFO] [stdout] >>> referenced by mod.rs:187 (src/meta/mod.rs:187) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_io_mark_end_initialization [INFO] [stdout] >>> referenced by mod.rs:190 (src/meta/mod.rs:190) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_array_push [INFO] [stdout] >>> referenced by array.rs:131 (src/types/array.rs:131) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(::push) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_mk_array [INFO] [stdout] >>> referenced by array.rs:265 (src/types/array.rs:265) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(::replicate) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_big_usize_to_nat [INFO] [stdout] >>> referenced by inline.rs:452 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:452) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_to_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_copy_expand_array [INFO] [stdout] >>> referenced by array.rs:175 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/array.rs:175) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.13.rcgu.o:(leo3_ffi::array::lean_copy_array) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_alloc_object [INFO] [stdout] >>> referenced by array.rs:285 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/array.rs:285) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.13.rcgu.o:(leo3_ffi::array::lean_alloc_array) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: too many errors emitted, stopping now (use --error-limit=0 to see all errors) [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean [INFO] [stderr] error: could not compile `leo3` (test "array_ops") due to 1 previous error [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcoWzlzg/symbols.o" "<3 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/{libfutures-b791b79a50f271b0,libfutures_executor-95f8f7ecdc275e67,libfutures_util-b25f2151a783334d,libmemchr-f9c66c7ba21bf873,libfutures_io-3e19596c076de665,libslab-e253d0c0a7952806,libfutures_channel-832f9c384c35324f,libpin_project_lite-bedc6e0acd72ff2a,libfutures_sink-23538ced8fe824d7,libfutures_task-19b3aba2be9e7ae8,libpin_utils-9a5791cba021167a,libfutures_core-7288ace658af78d0}.rlib" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcoWzlzg/raw-dylibs" "-B/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: rust-lld: error: undefined symbol: lean_io_get_task_state_core [INFO] [stdout] >>> referenced by task.rs:536 (src/task.rs:536) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.91b0a481d9794a83-cgu.1.rcgu.o:( as core::future::future::Future>::poll::{closure#0}) [INFO] [stdout] >>> referenced by task.rs:265 (src/task.rs:265) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.91b0a481d9794a83-cgu.0.rcgu.o:(>>::state) [INFO] [stdout] >>> referenced by task.rs:265 (src/task.rs:265) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.91b0a481d9794a83-cgu.0.rcgu.o:(>::state) [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_task_pure [INFO] [stdout] >>> referenced by task.rs:251 (src/task.rs:251) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.91b0a481d9794a83-cgu.0.rcgu.o:(>>::pure) [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_io_cancel_core [INFO] [stdout] >>> referenced by task.rs:339 (src/task.rs:339) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.91b0a481d9794a83-cgu.0.rcgu.o:(>>::cancel) [INFO] [stdout] >>> referenced by task.rs:339 (src/task.rs:339) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.91b0a481d9794a83-cgu.0.rcgu.o:(>::cancel) [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_task_get [INFO] [stdout] >>> referenced by inline.rs:2915 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2915) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.91b0a481d9794a83-cgu.0.rcgu.o:(>>::get_owned) [INFO] [stdout] >>> referenced by task.rs:305 (src/task.rs:305) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.91b0a481d9794a83-cgu.0.rcgu.o:(>::get) [INFO] [stdout] >>> referenced by inline.rs:2915 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2915) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.91b0a481d9794a83-cgu.0.rcgu.o:(>::get_owned) [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_dec_ref_cold [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.91b0a481d9794a83-cgu.0.rcgu.o:(>>::get_owned) [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.91b0a481d9794a83-cgu.0.rcgu.o:(>::get_owned) [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.91b0a481d9794a83-cgu.0.rcgu.o:(> as core::ops::drop::Drop>::drop) [INFO] [stdout] >>> referenced 4 more times [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_task_spawn_core [INFO] [stdout] >>> referenced by inline.rs:2904 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2904) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.91b0a481d9794a83-cgu.0.rcgu.o:(>::spawn_with_priority) [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_initialize_runtime_module [INFO] [stdout] >>> referenced by environment.rs:53 (src/meta/environment.rs:53) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_initialize_thread [INFO] [stdout] >>> referenced by environment.rs:54 (src/meta/environment.rs:54) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_init_task_manager [INFO] [stdout] >>> referenced by environment.rs:55 (src/meta/environment.rs:55) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Expr [INFO] [stdout] >>> referenced by mod.rs:157 (src/meta/mod.rs:157) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Init_Prelude [INFO] [stdout] >>> referenced by mod.rs:137 (src/meta/mod.rs:137) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Environment [INFO] [stdout] >>> referenced by mod.rs:173 (src/meta/mod.rs:173) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Meta [INFO] [stdout] >>> referenced by mod.rs:177 (src/meta/mod.rs:177) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_util_module() [INFO] [stdout] >>> referenced by mod.rs:181 (src/meta/mod.rs:181) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_usize_of_big_nat [INFO] [stdout] >>> referenced by inline.rs:466 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:466) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_of_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_kernel_module() [INFO] [stdout] >>> referenced by mod.rs:182 (src/meta/mod.rs:182) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_big_usize_to_nat [INFO] [stdout] >>> referenced by inline.rs:452 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:452) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_to_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::init_default_print_fn() [INFO] [stdout] >>> referenced by mod.rs:185 (src/meta/mod.rs:185) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_library_core_module() [INFO] [stdout] >>> referenced by mod.rs:186 (src/meta/mod.rs:186) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_library_module() [INFO] [stdout] >>> referenced by mod.rs:187 (src/meta/mod.rs:187) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: too many errors emitted, stopping now (use --error-limit=0 to see all errors) [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean [INFO] [stderr] error: could not compile `leo3` (test "test_task_async") due to 1 previous error [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/opt/rustwide/target/debug/deps/rustclfnWhG/symbols.o" "<4 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustclfnWhG/raw-dylibs" "-B/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/new_type_conversions-1d1870a12b7f2aca" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: rust-lld: error: undefined symbol: lean_dec_ref_cold [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/new_type_conversions-1d1870a12b7f2aca.new_type_conversions.75cdb72b6133adf9-cgu.1.rcgu.o:( as core::ops::drop::Drop>::drop) [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/new_type_conversions-1d1870a12b7f2aca.new_type_conversions.75cdb72b6133adf9-cgu.1.rcgu.o:( as core::ops::drop::Drop>::drop) [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/new_type_conversions-1d1870a12b7f2aca.new_type_conversions.75cdb72b6133adf9-cgu.1.rcgu.o:( as core::ops::drop::Drop>::drop) [INFO] [stdout] >>> referenced 9 more times [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_initialize_runtime_module [INFO] [stdout] >>> referenced by environment.rs:53 (src/meta/environment.rs:53) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_initialize_thread [INFO] [stdout] >>> referenced by environment.rs:54 (src/meta/environment.rs:54) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_init_task_manager [INFO] [stdout] >>> referenced by environment.rs:55 (src/meta/environment.rs:55) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_mk_string [INFO] [stdout] >>> referenced by string.rs:39 (src/types/string.rs:39) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.08.rcgu.o:(::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_array_mk [INFO] [stdout] >>> referenced by array.rs:355 (src/types/array.rs:355) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(::with_capacity) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_copy_expand_array [INFO] [stdout] >>> referenced by array.rs:362 (src/types/array.rs:362) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(::with_capacity) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by array.rs:366 (src/types/array.rs:366) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(::with_capacity) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by array.rs:175 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/array.rs:175) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.13.rcgu.o:(leo3_ffi::array::lean_copy_array) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Expr [INFO] [stdout] >>> referenced by mod.rs:157 (src/meta/mod.rs:157) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Init_Prelude [INFO] [stdout] >>> referenced by mod.rs:137 (src/meta/mod.rs:137) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Environment [INFO] [stdout] >>> referenced by mod.rs:173 (src/meta/mod.rs:173) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Meta [INFO] [stdout] >>> referenced by mod.rs:177 (src/meta/mod.rs:177) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_util_module() [INFO] [stdout] >>> referenced by mod.rs:181 (src/meta/mod.rs:181) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_kernel_module() [INFO] [stdout] >>> referenced by mod.rs:182 (src/meta/mod.rs:182) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::init_default_print_fn() [INFO] [stdout] >>> referenced by mod.rs:185 (src/meta/mod.rs:185) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_library_core_module() [INFO] [stdout] >>> referenced by mod.rs:186 (src/meta/mod.rs:186) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_library_module() [INFO] [stdout] >>> referenced by mod.rs:187 (src/meta/mod.rs:187) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_io_mark_end_initialization [INFO] [stdout] >>> referenced by mod.rs:190 (src/meta/mod.rs:190) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_alloc_object [INFO] [stdout] >>> referenced by lib.rs:421 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/lib.rs:421) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.13.rcgu.o:(leo3_ffi::lean_alloc_ctor) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by array.rs:285 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/array.rs:285) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.13.rcgu.o:(leo3_ffi::array::lean_alloc_array) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcFIp4Gy/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcFIp4Gy/raw-dylibs" "-B/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/int_ops_comprehensive-77e2dbd4412bc90b" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: rust-lld: error: undefined symbol: lean_int_big_eq [INFO] [stdout] >>> referenced by inline.rs:992 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:992) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_eq) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_int_big_le [INFO] [stdout] >>> referenced by inline.rs:1005 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:1005) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_le) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_int_big_lt [INFO] [stdout] >>> referenced by inline.rs:1018 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:1018) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_lt) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_int_big_add [INFO] [stdout] >>> referenced by inline.rs:795 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:795) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_add) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_int_big_div [INFO] [stdout] >>> referenced by inline.rs:851 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:851) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_div) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_int_big_mod [INFO] [stdout] >>> referenced by inline.rs:881 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:881) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_mod) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_int_big_mul [INFO] [stdout] >>> referenced by inline.rs:821 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:821) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_mul) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_int_big_neg [INFO] [stdout] >>> referenced by inline.rs:759 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:759) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_neg) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_int_big_sub [INFO] [stdout] >>> referenced by inline.rs:808 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:808) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_sub) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_int_big_ediv [INFO] [stdout] >>> referenced by inline.rs:923 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:923) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_ediv) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_int_big_emod [INFO] [stdout] >>> referenced by inline.rs:979 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:979) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_emod) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_big_int64_to_int [INFO] [stdout] >>> referenced by inline.rs:693 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:693) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int64_to_int) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_dec_ref_cold [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.13.rcgu.o:(::neg) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.15.rcgu.o:( as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean [INFO] [stderr] error: could not compile `leo3` (test "new_type_conversions") due to 1 previous error [INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean [INFO] [stderr] error: could not compile `leo3` (test "int_ops_comprehensive") due to 1 previous error [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/opt/rustwide/target/debug/deps/rustc3PiGCN/symbols.o" "<3 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustc3PiGCN/raw-dylibs" "-B/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_error_boundaries-eb53dd92138ec4a4" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: rust-lld: error: undefined symbol: lean_dec_ref_cold [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_error_boundaries-eb53dd92138ec4a4.test_error_boundaries.b9d9646e3fe3225a-cgu.1.rcgu.o:( as core::ops::drop::Drop>::drop) [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::empty::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::handle_except_result_raw) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced 23 more times [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_mk_string [INFO] [stdout] >>> referenced by string.rs:39 (src/types/string.rs:39) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.08.rcgu.o:(::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_level_mk_zero [INFO] [stdout] >>> referenced by level.rs:52 (src/meta/level.rs:52) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.09.rcgu.o:(::one) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by level.rs:32 (src/meta/level.rs:32) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.09.rcgu.o:(::zero) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_level_mk_succ [INFO] [stdout] >>> referenced by level.rs:56 (src/meta/level.rs:56) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.09.rcgu.o:(::one) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by level.rs:76 (src/meta/level.rs:76) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.09.rcgu.o:(::succ) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_initialize_runtime_module [INFO] [stdout] >>> referenced by environment.rs:53 (src/meta/environment.rs:53) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_initialize_thread [INFO] [stdout] >>> referenced by environment.rs:54 (src/meta/environment.rs:54) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_init_task_manager [INFO] [stdout] >>> referenced by environment.rs:55 (src/meta/environment.rs:55) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_elab_add_decl_without_checking [INFO] [stdout] >>> referenced by environment.rs:364 (src/meta/environment.rs:364) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::add_decl_unchecked::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_elab_environment_to_kernel_env [INFO] [stdout] >>> referenced by environment.rs:219 (src/meta/environment.rs:219) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::find::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_environment_find [INFO] [stdout] >>> referenced by environment.rs:224 (src/meta/environment.rs:224) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::find::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_mk_empty_environment [INFO] [stdout] >>> referenced by environment.rs:175 (src/meta/environment.rs:175) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::empty::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_elab_add_decl [INFO] [stdout] >>> referenced by environment.rs:319 (src/meta/environment.rs:319) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::add_decl::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_mk_app [INFO] [stdout] >>> referenced by expr.rs:175 (src/meta/expr.rs:175) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::app) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_mk_bvar [INFO] [stdout] >>> referenced by expr.rs:59 (src/meta/expr.rs:59) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::bvar) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_mk_sort [INFO] [stdout] >>> referenced by expr.rs:123 (src/meta/expr.rs:123) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::sort) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_mk_forall [INFO] [stdout] >>> referenced by expr.rs:255 (src/meta/expr.rs:255) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::forall) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_mk_lambda [INFO] [stdout] >>> referenced by expr.rs:223 (src/meta/expr.rs:223) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::lambda) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: l_Std_HashSet_empty___rarg [INFO] [stdout] >>> referenced by hashset.rs:37 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/hashset.rs:37) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.10.rcgu.o:(leo3_ffi::hashset::lean_hashset_empty) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_mk_string_from_bytes [INFO] [stdout] >>> referenced by context.rs:183 (src/meta/context.rs:183) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(::mk_empty_filemap) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by context.rs:378 (src/meta/context.rs:378) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(::mk_name_generator) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_array_push [INFO] [stdout] >>> referenced by context.rs:187 (src/meta/context.rs:187) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(::mk_empty_filemap) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: too many errors emitted, stopping now (use --error-limit=0 to see all errors) [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean [INFO] [stderr] error: could not compile `leo3` (test "test_error_boundaries") due to 1 previous error [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcFUPYzb/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcFUPYzb/raw-dylibs" "-B/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_prelude_integration-e832edcd6d3fab44" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: rust-lld: error: undefined symbol: lean_dec_ref_cold [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_prelude_integration-e832edcd6d3fab44.test_prelude_integration.f425802884d44261-cgu.0.rcgu.o:( as core::ops::drop::Drop>::drop) [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::empty::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::handle_except_result_raw) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced 24 more times [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_initialize_runtime_module [INFO] [stdout] >>> referenced by environment.rs:53 (src/meta/environment.rs:53) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_initialize_thread [INFO] [stdout] >>> referenced by environment.rs:54 (src/meta/environment.rs:54) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_init_task_manager [INFO] [stdout] >>> referenced by environment.rs:55 (src/meta/environment.rs:55) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_elab_add_decl_without_checking [INFO] [stdout] >>> referenced by environment.rs:364 (src/meta/environment.rs:364) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::add_decl_unchecked::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_elab_environment_to_kernel_env [INFO] [stdout] >>> referenced by environment.rs:219 (src/meta/environment.rs:219) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::find::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_environment_find [INFO] [stdout] >>> referenced by environment.rs:224 (src/meta/environment.rs:224) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::find::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_mk_empty_environment [INFO] [stdout] >>> referenced by environment.rs:175 (src/meta/environment.rs:175) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::empty::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_elab_add_decl [INFO] [stdout] >>> referenced by environment.rs:319 (src/meta/environment.rs:319) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::add_decl::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_mk_app [INFO] [stdout] >>> referenced by expr.rs:175 (src/meta/expr.rs:175) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::app) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_mk_bvar [INFO] [stdout] >>> referenced by expr.rs:59 (src/meta/expr.rs:59) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::bvar) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_mk_let [INFO] [stdout] >>> referenced by expr.rs:328 (src/meta/expr.rs:328) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::let_) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_mk_sort [INFO] [stdout] >>> referenced by expr.rs:123 (src/meta/expr.rs:123) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::sort) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_equal [INFO] [stdout] >>> referenced by expr.rs:1014 (src/meta/expr.rs:1014) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::equal) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_mk_const [INFO] [stdout] >>> referenced by expr.rs:149 (src/meta/expr.rs:149) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::const_) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_mk_forall [INFO] [stdout] >>> referenced by expr.rs:255 (src/meta/expr.rs:255) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::forall) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_expr_mk_lambda [INFO] [stdout] >>> referenced by expr.rs:223 (src/meta/expr.rs:223) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(::lambda) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_mk_string [INFO] [stdout] >>> referenced by string.rs:39 (src/types/string.rs:39) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.08.rcgu.o:(::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_level_mk_zero [INFO] [stdout] >>> referenced by level.rs:52 (src/meta/level.rs:52) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.09.rcgu.o:(::one) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by level.rs:32 (src/meta/level.rs:32) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.09.rcgu.o:(::zero) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_level_mk_succ [INFO] [stdout] >>> referenced by level.rs:56 (src/meta/level.rs:56) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.09.rcgu.o:(::one) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by level.rs:76 (src/meta/level.rs:76) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.09.rcgu.o:(::succ) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: too many errors emitted, stopping now (use --error-limit=0 to see all errors) [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean [INFO] [stderr] error: could not compile `leo3` (test "test_prelude_integration") due to 1 previous error [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/opt/rustwide/target/debug/deps/rustc5kgsLx/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustc5kgsLx/raw-dylibs" "-B/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/type_conversions-273dbef12e474830" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: rust-lld: error: undefined symbol: lean_float_isinf [INFO] [stdout] >>> referenced by float.rs:147 (src/types/float.rs:147) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.04.rcgu.o:(::isInf) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_float_isnan [INFO] [stdout] >>> referenced by float.rs:117 (src/types/float.rs:117) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.04.rcgu.o:(::isNaN) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_initialize_runtime_module [INFO] [stdout] >>> referenced by environment.rs:53 (src/meta/environment.rs:53) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_initialize_thread [INFO] [stdout] >>> referenced by environment.rs:54 (src/meta/environment.rs:54) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_init_task_manager [INFO] [stdout] >>> referenced by environment.rs:55 (src/meta/environment.rs:55) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_uint8_of_big_nat [INFO] [stdout] >>> referenced by nat.rs:600 (src/types/nat.rs:600) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.08.rcgu.o:(::toUInt8) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by inline.rs:2221 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2221) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.08.rcgu.o:(::ofNat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by inline.rs:2221 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2221) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.13.rcgu.o:(::ofNat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_uint16_of_big_nat [INFO] [stdout] >>> referenced by nat.rs:622 (src/types/nat.rs:622) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.08.rcgu.o:(::toUInt16) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by inline.rs:2235 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2235) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.08.rcgu.o:(::ofNat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by inline.rs:2235 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2235) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.13.rcgu.o:(::ofNat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_uint32_of_big_nat [INFO] [stdout] >>> referenced by nat.rs:644 (src/types/nat.rs:644) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.08.rcgu.o:(::toUInt32) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by inline.rs:2249 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2249) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.08.rcgu.o:(::ofNat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by inline.rs:2249 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2249) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.13.rcgu.o:(::ofNat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_uint64_of_big_nat [INFO] [stdout] >>> referenced by nat.rs:661 (src/types/nat.rs:661) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.08.rcgu.o:(::toUInt64) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by inline.rs:2267 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2267) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.08.rcgu.o:(::ofNat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] >>> referenced by inline.rs:2267 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2267) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.13.rcgu.o:(::ofNat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_dec_ref_cold [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/type_conversions-273dbef12e474830.type_conversions.a64a17a795f3b0d1-cgu.0.rcgu.o:( as core::ops::drop::Drop>::drop) [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/type_conversions-273dbef12e474830.type_conversions.a64a17a795f3b0d1-cgu.0.rcgu.o:( as core::ops::drop::Drop>::drop) [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/type_conversions-273dbef12e474830.type_conversions.a64a17a795f3b0d1-cgu.0.rcgu.o:( as core::ops::drop::Drop>::drop) [INFO] [stdout] >>> referenced 9 more times [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_big_size_t_to_int [INFO] [stdout] >>> referenced by inline.rs:742 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:742) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_nat_to_int) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_big_int64_to_int [INFO] [stdout] >>> referenced by inline.rs:693 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:693) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int64_to_int) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_usize_of_big_nat [INFO] [stdout] >>> referenced by inline.rs:466 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:466) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_of_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_big_usize_to_nat [INFO] [stdout] >>> referenced by inline.rs:452 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:452) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_to_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_alloc_object [INFO] [stdout] >>> referenced by lib.rs:421 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/lib.rs:421) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.13.rcgu.o:(leo3_ffi::lean_alloc_ctor) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Expr [INFO] [stdout] >>> referenced by mod.rs:157 (src/meta/mod.rs:157) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Init_Prelude [INFO] [stdout] >>> referenced by mod.rs:137 (src/meta/mod.rs:137) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Environment [INFO] [stdout] >>> referenced by mod.rs:173 (src/meta/mod.rs:173) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Meta [INFO] [stdout] >>> referenced by mod.rs:177 (src/meta/mod.rs:177) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_util_module() [INFO] [stdout] >>> referenced by mod.rs:181 (src/meta/mod.rs:181) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: too many errors emitted, stopping now (use --error-limit=0 to see all errors) [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcI711W0/symbols.o" "<3 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcI711W0/raw-dylibs" "-B/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_derive_macros-a6544d8b695232aa" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: rust-lld: error: undefined symbol: lean_alloc_object [INFO] [stdout] >>> referenced by lib.rs:421 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/lib.rs:421) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_derive_macros-a6544d8b695232aa.test_derive_macros.9d770ee510804c56-cgu.1.rcgu.o:(leo3_ffi::lean_alloc_ctor) [INFO] [stdout] >>> referenced by lib.rs:421 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/lib.rs:421) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.13.rcgu.o:(leo3_ffi::lean_alloc_ctor) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_dec_ref_cold [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_derive_macros-a6544d8b695232aa.test_derive_macros.9d770ee510804c56-cgu.1.rcgu.o:( as core::ops::drop::Drop>::drop) [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_derive_macros-a6544d8b695232aa.test_derive_macros.9d770ee510804c56-cgu.1.rcgu.o:( as core::ops::drop::Drop>::drop) [INFO] [stdout] >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230) [INFO] [stdout] >>> /opt/rustwide/target/debug/deps/test_derive_macros-a6544d8b695232aa.test_derive_macros.9d770ee510804c56-cgu.1.rcgu.o:( as core::ops::drop::Drop>::drop) [INFO] [stdout] >>> referenced 5 more times [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_initialize_runtime_module [INFO] [stdout] >>> referenced by environment.rs:53 (src/meta/environment.rs:53) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_initialize_thread [INFO] [stdout] >>> referenced by environment.rs:54 (src/meta/environment.rs:54) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_init_task_manager [INFO] [stdout] >>> referenced by environment.rs:55 (src/meta/environment.rs:55) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_mk_string [INFO] [stdout] >>> referenced by string.rs:39 (src/types/string.rs:39) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.08.rcgu.o:(::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Expr [INFO] [stdout] >>> referenced by mod.rs:157 (src/meta/mod.rs:157) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Init_Prelude [INFO] [stdout] >>> referenced by mod.rs:137 (src/meta/mod.rs:137) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Environment [INFO] [stdout] >>> referenced by mod.rs:173 (src/meta/mod.rs:173) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: initialize_Lean_Meta [INFO] [stdout] >>> referenced by mod.rs:177 (src/meta/mod.rs:177) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_util_module() [INFO] [stdout] >>> referenced by mod.rs:181 (src/meta/mod.rs:181) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_kernel_module() [INFO] [stdout] >>> referenced by mod.rs:182 (src/meta/mod.rs:182) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::init_default_print_fn() [INFO] [stdout] >>> referenced by mod.rs:185 (src/meta/mod.rs:185) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_library_core_module() [INFO] [stdout] >>> referenced by mod.rs:186 (src/meta/mod.rs:186) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean::initialize_library_module() [INFO] [stdout] >>> referenced by mod.rs:187 (src/meta/mod.rs:187) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] [INFO] [stdout] rust-lld: error: undefined symbol: lean_io_mark_end_initialization [INFO] [stdout] >>> referenced by mod.rs:190 (src/meta/mod.rs:190) [INFO] [stdout] >>> leo3-89f6ad12081a6bcc.leo3.b9e53a17351e97c6-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `leo3` (test "type_conversions") due to 1 previous error [INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean [INFO] [stderr] error: could not compile `leo3` (test "test_derive_macros") due to 1 previous error [INFO] running `Command { std: "docker" "inspect" "5715c28d7e315cff1ed6c508410b53f5d3acc1d6b322502ec94b82496f318222", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5715c28d7e315cff1ed6c508410b53f5d3acc1d6b322502ec94b82496f318222", kill_on_drop: false }` [INFO] [stdout] 5715c28d7e315cff1ed6c508410b53f5d3acc1d6b322502ec94b82496f318222