search

os-checker / MIRAI

docker image: zjpzjp/mirai:latest
MIT License
0 stars 0 forks source link

cargo dist can't release MIRAI for x86_64-pc-windows-msvc target due to linking errors #2

Open zjp-CN opened 2 months ago

zjp-CN commented 2 months ago

https://github.com/os-checker/MIRAI/actions/runs/10803406690/job/29967209902

error: linking with `link.exe` failed: exit code: 1120
  |
  = note: "C:\\Program Files (x86)\\Microsoft Visual Studio\\2019\\Enterprise\\VC\\Tools\\MSVC\\14.29.30133\\bin\\HostX64\\x64\\link.exe" "/NOLOGO" "C:\\Users\\RUNNER~1\\AppData\\Local\\Temp\\rustc53GzlL\\symbols.o" "D:\\a\\MIRAI\\MIRAI\\target\\x86_64-pc-windows-msvc\\dist\\deps\\mirai.aho_corasick-03b578cbcef0f[274](https://github.com/os-checker/MIRAI/actions/runs/10803406690/job/29967209902#step:7:275).aho_corasick.d1fe4c7fc1a79192-cgu.00.rcgu.o.rcgu.o" "D:\\a\\MIRAI\\MIRAI\\target\\x86_64-pc-windows-msvc\\dist\\deps\\mirai.aho_corasick-03b578cbcef0f274.aho_corasick.d1fe4c7fc1a79192-cgu.01.rcgu.o.rcgu.o" "D:\\a\\MIRAI\\MIRAI\\target\\x86_64-pc-windows-msvc\\dist\\deps\\mirai.aho_corasick-03b578cbcef0f274.aho_corasick.d1fe4c7fc1a79192-cgu.02.rcgu.o.rcgu.o" "D:\\a\\MIRAI\\MIRAI\\target\\x86_64-pc-windows-msvc\\dist\\deps\\mirai.aho_corasick- ....
  = note: LINK : warning LNK4098: defaultlib 'MSVCRT' conflicts with use of other libs; use /NODEFAULTLIB:library
          LINK : warning LNK4286: symbol '_invalid_parameter_noinfo_noreturn' defined in 'libucrt.lib(invalid_parameter.obj)' is imported by 'libz3_sys-4b9c29420f0c47bd.rlib(spacer_unsat_core_learner.obj)'
          LINK : warning LNK4286: symbol '_invalid_parameter_noinfo_noreturn' defined in 'libucrt.lib(invalid_parameter.obj)' is imported by 'libz3_sys-4b9c29420f0c47bd.rlib(spacer_unsat_core_plugin.obj)'
          LINK : warning LNK4286: symbol '_invalid_parameter_noinfo_noreturn' defined in 'libucrt.lib(invalid_parameter.obj)' is imported by 'libz3_sys-4b9c29420f0c47bd.rlib(spacer_arith_kernel.obj)'
          LINK : warning LNK4286: symbol '_invalid_parameter_noinfo_noreturn' defined in 'libucrt.lib(invalid_parameter.obj)' is imported by 'libz3_sys-4b9c29420f0c47bd.rlib(min_cut.obj)'
          LINK : warning LNK4217: symbol '_invalid_parameter_noinfo_noreturn' defined in 'libucrt.lib(invalid_parameter.obj)' is imported by 'libz3_sys-4b9c29420f0c47bd.rlib(proof_utils.obj)' in function '"public: class ref_vector<class app,class ast_manager>::element_ref __cdecl ref_vector<class app,class ast_manager>::operator[](unsigned int)" (??A?$ref_vector@Vapp@@Vast_manager@@@@QEAA?AVelement_ref@0@I@Z)'
          LINK : warning LNK4217: symbol '_invalid_parameter_noinfo_noreturn' defined in 'libucrt.lib(invalid_parameter.obj)' is imported by 'libz3_sys-4b9c29420f0c47bd.rlib(spacer_farkas_learner.obj)' in function '"public: __cdecl std::pair<class expr *,unsigned int>::pair<class expr *,unsigned int><class expr * &,int,0>(class expr * &,int &&)" (??$?0AEAPEAVexpr@@H$0A@@?$pair@PEAVexpr@@I@std@@QEAA@AEAPEAVexpr@@$$QEAH@Z)'
...