Caused by: process didn't exit successfully: `c:\Users\jared\lean projects\polySat\.lake\packages\egg\Rust\Egg\target\release\build\egg-for-lean-78a07c5dafb7be3c\build-script-build` (exit code: 1) --- stdout OUT_DIR = Some(c:\Users\jared\lean projects\polySat\.lake\packages\egg\Rust\Egg\target\release\build\egg-for-lean-e85d41a1d5581826\out) OPT_LEVEL = Some(3) TARGET = Some(x86_64-pc-windows-msvc) cargo:rerun-if-env-changed=VCINSTALLDIR VCINSTALLDIR = None cargo:rerun-if-env-changed=VSTEL_MSBuildProjectFullPath VSTEL_MSBuildProjectFullPath = None cargo:rerun-if-env-changed=VSCMD_ARG_VCVARS_SPECTRE VSCMD_ARG_VCVARS_SPECTRE = None cargo:rerun-if-env-changed=WindowsSdkDir WindowsSdkDir = None cargo:rerun-if-env-changed=WindowsSDKVersion WindowsSDKVersion = None cargo:rerun-if-env-changed=LIB LIB = None PATH = Some(c:\Users\jared\lean projects\polySat\.lake\packages\egg\Rust\Egg\target\release\deps;c:\Users\jared\lean projects\polySat\.lake\packages\egg\Rust\Egg\target\release;C:\Users\jared\.rustup\toolchains\stable-x86_64-pc-windows-msvc\lib\rustlib\x86_64-pc-windows-msvc\lib;C:\Users\jared\.elan\bin;C:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\bin;C:\windows\system32;C:\windows;C:\windows\System32\Wbem;C:\windows\System32\WindowsPowerShell\v1.0\;C:\windows\System32\OpenSSH\;C:\Program Files\Cloudflare\Cloudflare WARP\;C:\Program Files\Git\cmd;C:\Program Files\HP\HP One Agent;C:\Users\jared\.elan\bin;C:\Users\jared\.cargo\bin;C:\Users\jared\AppData\Local\Microsoft\WindowsApps;C:\Users\jared\AppData\Local\Programs\Microsoft VS Code\bin) cargo:rerun-if-env-changed=INCLUDE INCLUDE = None HOST = Some(x86_64-pc-windows-msvc) cargo:rerun-if-env-changed=CC_x86_64-pc-windows-msvc CC_x86_64-pc-windows-msvc = None cargo:rerun-if-env-changed=CC_x86_64_pc_windows_msvc CC_x86_64_pc_windows_msvc = None cargo:rerun-if-env-changed=HOST_CC HOST_CC = None cargo:rerun-if-env-changed=CC CC = None cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS CRATE_CC_NO_DEFAULTS = None CARGO_CFG_TARGET_FEATURE = Some(cmpxchg16b,fxsr,sse,sse2,sse3) DEBUG = Some(false) cargo:rerun-if-env-changed=CFLAGS_x86_64-pc-windows-msvc CFLAGS_x86_64-pc-windows-msvc = None cargo:rerun-if-env-changed=CFLAGS_x86_64_pc_windows_msvc CFLAGS_x86_64_pc_windows_msvc = None cargo:rerun-if-env-changed=HOST_CFLAGS HOST_CFLAGS = None cargo:rerun-if-env-changed=CFLAGS CFLAGS = None CARGO_ENCODED_RUSTFLAGS = Some() cargo:rerun-if-env-changed=CC_ENABLE_DEBUG_OUTPUT cargo:warning=cl : Command line warning D9002 : ignoring unknown option '-fstack-clash-protection' cargo:warning=cl : Command line warning D9002 : ignoring unknown option '-fwrapv' rev_ffi.c c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(162): warning C4200: nonstandard extension used: zero-sized array in struct/union c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(170): warning C4200: nonstandard extension used: zero-sized array in struct/union c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(178): warning C4200: nonstandard extension used: zero-sized array in struct/union c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(186): warning C4200: nonstandard extension used: zero-sized array in struct/union c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(194): warning C4200: nonstandard extension used: zero-sized array in struct/union c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(204): error C2061: syntax error: identifier '_Atomic' c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(205): error C2061: syntax error: identifier 'm_closure' c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(205): error C2059: syntax error: ';' c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(206): error C2059: syntax error: '}' c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(276): error C2061: syntax error: identifier '_Atomic' c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(278): error C2059: syntax error: '}' c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(307): warning C4431: missing type specifier - int assumed. Note: C no longer supports default-int c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(307): error C2054: expected '(' to follow '_Noreturn' c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(307): error C2085: 'lean_internal_panic': not in formal parameter list c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(308): error C2061: syntax error: identifier '_Noreturn' c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(309): warning C4431: missing type specifier - int assumed. Note: C no longer supports default-int c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(309): error C2054: expected '(' to follow '_Noreturn' c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(309): error C2085: 'lean_internal_panic_unreachable': not in formal parameter list c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(310): error C2061: syntax error: identifier '_Noreturn' c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(333): warning C4267: '=': conversion from 'size_t' to 'unsigned int', possible loss of data c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(348): warning C4267: 'initializing': conversion from 'size_t' to 'unsigned int', possible loss of data c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(395): warning C4244: 'return': conversion from 'unsigned int' to 'uint8_t', possible loss of data c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(433): error C2143: syntax error: missing '{' before '*' c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(433): warning C4431: missing type specifier - int assumed. Note: C no longer supports default-int c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(434): warning C4013: '_Atomic' undefined; assuming extern returning int c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(434): error C2143: syntax error: missing ')' before 'type' c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(434): error C2059: syntax error: ')' c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(434): error C2059: syntax error: ')' c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(450): warning C4267: '+=': conversion from 'size_t' to 'int', possible loss of data c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(452): warning C4267: 'function': conversion from 'size_t' to 'unsigned int', possible loss of data c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(481): warning C4267: 'return': conversion from 'size_t' to 'unsigned int', possible loss of data c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(489): error C2143: syntax error: missing '{' before '*' c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(489): warning C4431: missing type specifier - int assumed. Note: C no longer supports default-int c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(489): error C2065: 'lean_thunk_object': undeclared identifier c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(489): error C2059: syntax error: ')' c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(490): error C2143: syntax error: missing '{' before '*' c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(490): warning C4431: missing type specifier - int assumed. Note: C no longer supports default-int c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(490): error C2065: 'lean_task_object': undeclared identifier c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(490): error C2059: syntax error: ')' c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(529): warning C4244: 'function': conversion from 'unsigned int' to 'uint8_t', possible loss of data c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(533): warning C4267: '=': conversion from 'size_t' to 'unsigned int', possible loss of data c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(659): warning C4244: '=': conversion from 'unsigned int' to 'uint16_t', possible loss of data c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(660): warning C4244: '=': conversion from 'unsigned int' to 'uint16_t', possible loss of data c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(746): warning C4013: 'lean_internal_panic_out_of_memory' undefined; assuming extern returning int c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1081): error C2065: 'lean_thunk_object': undeclared identifier c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1081): error C2065: 'o': undeclared identifier c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1081): error C2065: 'lean_thunk_object': undeclared identifier c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1081): error C2059: syntax error: ')' c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1082): error C2065: 'o': undeclared identifier c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1082): warning C4312: 'type cast': conversion from 'int' to 'lean_object *' of greater size c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1083): error C2065: 'o': undeclared identifier c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1083): error C2223: left of '->m_value' must point to struct/union c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1084): error C2065: 'o': undeclared identifier c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1084): error C2223: left of '->m_closure' must point to struct/union c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1085): error C2065: 'o': undeclared identifier c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1085): warning C4312: 'type cast': conversion from 'int' to 'lean_object *' of greater size c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1090): error C2065: 'lean_thunk_object': undeclared identifier c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1090): error C2065: 'o': undeclared identifier c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1090): error C2065: 'lean_thunk_object': undeclared identifier c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1090): error C2059: syntax error: ')' c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1091): error C2065: 'o': undeclared identifier c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1091): warning C4312: 'type cast': conversion from 'int' to 'lean_object *' of greater size c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1092): error C2065: 'o': undeclared identifier c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1092): error C2223: left of '->m_value' must point to struct/union c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1093): error C2065: 'o': undeclared identifier c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1093): error C2223: left of '->m_closure' must point to struct/union c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1094): error C2065: 'o': undeclared identifier c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1094): warning C4312: 'type cast': conversion from 'int' to 'lean_object *' of greater size c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1100): error C2223: left of '->m_value' must point to struct/union c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1120): warning C4267: 'function': conversion from 'size_t' to 'unsigned int', possible loss of data c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1125): warning C4267: 'function': conversion from 'size_t' to 'unsigned int', possible loss of data c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1128): warning C4267: 'function': conversion from 'size_t' to 'unsigned int', possible loss of data c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1381): warning C4127: conditional expression is constant c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1398): warning C4127: conditional expression is constant c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1406): warning C4127: conditional expression is constant c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1465): warning C4127: conditional expression is constant c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1489): warning C4127: conditional expression is constant c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1522): warning C4127: conditional expression is constant c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(1556): warning C4127: conditional expression is constant c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(2567): warning C4127: conditional expression is constant c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(2579): warning C4127: conditional expression is constant c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(2584): warning C4267: 'return': conversion from 'size_t' to 'unsigned int', possible loss of data c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(2715): warning C4127: conditional expression is constant C:\Program Files (x86)\Windows Kits\10\include\10.0.22000.0\ucrt\corecrt_malloc.h(89): error C2375: 'free': redefinition; different linkage c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(380): note: see declaration of 'free' C:\Program Files (x86)\Windows Kits\10\include\10.0.22000.0\ucrt\corecrt_malloc.h(101): error C2375: 'malloc': redefinition; different linkage c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include\lean/lean.h(328): note: see declaration of 'malloc' --- stderr error occurred in cc-rs: Command "C:\\Program Files\\Microsoft Visual Studio\\2022\\Community\\VC\\Tools\\MSVC\\14.42.34433\\bin\\HostX64\\x64\\cl.exe" "-nologo" "-MD" "-O2" "-Brepro" "-W4" "-I" "c:\\Users\\jared\\.elan\\toolchains\\leanprover--lean4---v4.15.0\\include" "-fstack-clash-protection" "-fwrapv" "-Foc:\\Users\\jared\\lean projects\\polySat\\.lake\\packages\\egg\\Rust\\Egg\\target\\release\\build\\egg-for-lean-e85d41a1d5581826\\out\\a7d9c1e0c091b9d8-rev_ffi.o" "-c" "../../C/rev_ffi.c" with args cl.exe did not execute successfully (status code exit code: 2). error: external command 'cargo' exited with code 101 ✖ [6/181] Running egg/slotted_for_lean.static trace: .\.\.lake/packages\egg\Rust\Slotted> cargo rustc --release -- -C relocation-model=pic info: stderr: Finished `release` profile [optimized] target(s) in 0.01s error: no such file or directory (error code: 2) file: .\.\.lake/packages\egg\Rust\Slotted\target\release\slotted_for_lean.a ✖ [10/181] Building egg/importTarget trace: .> cc -c -o .\.\.lake/packages\egg\.lake\build\c\ffi.o .\.\.lake/packages\egg\C\ffi.c -I c:\Users\jared\.elan\toolchains\leanprover--lean4---v4.15.0\include -fPIC error: failed to execute 'cc': no such file or directory (error code: 2) Some required builds logged failures: - egg/egg_for_lean.static - egg/slotted_for_lean.static - egg/importTarget error: build failed