search

leanprover / elan

The Lean version manager
Apache License 2.0
297 stars 34 forks source link

unresolved external symbols #47

Closed lovettchris closed 2 years ago

lovettchris commented 2 years ago

Ok, having got past various problems, openssl is building ok, and it is now trying to link elan_init.exe but failing with:

  = note: libbzip2-ee25e5503503b0af.rlib(bzip2-ee25e5503503b0af.bzip2.93cu0m4q-cgu.0.rcgu.o) : error LNK2019: unresolved external symbol BZ2_bzCompressInit referenced in function _ZN5bzip23mem8Compress3new17h0208af36a282414fE
          libbzip2-ee25e5503503b0af.rlib(bzip2-ee25e5503503b0af.bzip2.93cu0m4q-cgu.0.rcgu.o) : error LNK2019: unresolved external symbol BZ2_bzCompress referenced in function _ZN5bzip23mem8Compress8compress17hb883d69426609241E
          libbzip2-ee25e5503503b0af.rlib(bzip2-ee25e5503503b0af.bzip2.93cu0m4q-cgu.0.rcgu.o) : error LNK2019: unresolved external symbol BZ2_bzDecompressInit referenced in function _ZN5bzip23mem10Decompress3new17hbe9622310df3b8c3E
          libbzip2-ee25e5503503b0af.rlib(bzip2-ee25e5503503b0af.bzip2.93cu0m4q-cgu.0.rcgu.o) : error LNK2019: unresolved external symbol BZ2_bzDecompress referenced in function _ZN5bzip23mem10Decompress10decompress17h467485f382c3e0c0E
          libbzip2-ee25e5503503b0af.rlib(bzip2-ee25e5503503b0af.bzip2.93cu0m4q-cgu.0.rcgu.o) : error LNK2019: unresolved external symbol BZ2_bzCompressEnd referenced in function _ZN65_$LT$bzip2..mem..DirCompress$u20$as$u20$bzip2..mem..Direction$GT$7destroy17h926f8470624e4867E
          libbzip2-ee25e5503503b0af.rlib(bzip2-ee25e5503503b0af.bzip2.93cu0m4q-cgu.0.rcgu.o) : error LNK2019: unresolved external symbol BZ2_bzDecompressEnd referenced in function _ZN67_$LT$bzip2..mem..DirDecompress$u20$as$u20$bzip2..mem..Direction$GT$7destroy17h8369364070f0f68dE
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.15.rcgu.o) : error LNK2019: unresolved external symbol curl_formfree referenced in function _ZN64_$LT$curl..easy..form..Form$u20$as$u20$core..ops..drop..Drop$GT$4drop17hf6e95ec8c7905d41E
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.15.rcgu.o) : error LNK2019: unresolved external symbol curl_formadd referenced in function _ZN4curl4easy4form4Part3add17h1ae5aeaa3c3ae676E
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.15.rcgu.o) : error LNK2019: unresolved external symbol curl_global_init referenced in function _ZN4curl4init10init_inner28_$u7b$$u7b$closure$u7d$$u7d$17h95fb4a81fc71dd70E
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.13.rcgu.o) : error LNK2019: unresolved external symbol curl_easy_strerror referenced in function _ZN4curl5error5Error11description17h589f9810b2228805E
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.13.rcgu.o) : error LNK2019: unresolved external symbol curl_share_strerror referenced in function _ZN4curl5error10ShareError11description17h96b66cf45f84c7c2E
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.13.rcgu.o) : error LNK2019: unresolved external symbol curl_multi_strerror referenced in function _ZN4curl5error10MultiError11description17ha6f6df57e83efee5E
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.3.rcgu.o) : error LNK2019: unresolved external symbol curl_slist_append referenced in function _ZN4curl4easy4list4List6append17h960f35f9cbc89220E
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.3.rcgu.o) : error LNK2019: unresolved external symbol curl_slist_free_all referenced in function _ZN64_$LT$curl..easy..list..List$u20$as$u20$core..ops..drop..Drop$GT$4drop17ha01a669c85307abaE
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.1.rcgu.o) : error LNK2019: unresolved external symbol curl_multi_init referenced in function _ZN4curl5multi5Multi3new17h9db3209dcb9f734fE
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.1.rcgu.o) : error LNK2019: unresolved external symbol curl_multi_assign referenced in function _ZN4curl5multi5Multi6assign17h58ad6fe511951823E
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.1.rcgu.o) : error LNK2019: unresolved external symbol curl_multi_setopt referenced in function _ZN4curl5multi5Multi11setopt_long17hc632ee3830bd04d3E
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.1.rcgu.o) : error LNK2019: unresolved external symbol curl_multi_add_handle referenced in function _ZN4curl5multi5Multi3add17he5b964e840bca419E
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.1.rcgu.o) : error LNK2019: unresolved external symbol curl_multi_remove_handle referenced in function _ZN4curl5multi5Multi6remove17h879ec5ea4b6913a8E
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.1.rcgu.o) : error LNK2019: unresolved external symbol curl_multi_info_read referenced in function _ZN4curl5multi5Multi9_messages17h00a8e1d385b36a21E
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.1.rcgu.o) : error LNK2019: unresolved external symbol curl_multi_socket_action referenced in function _ZN4curl5multi5Multi6action17h03f682978b2a5aa2E
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.1.rcgu.o) : error LNK2019: unresolved external symbol curl_multi_timeout referenced in function _ZN4curl5multi5Multi11get_timeout17hda27d86dfde46065E
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.1.rcgu.o) : error LNK2019: unresolved external symbol curl_multi_wait referenced in function _ZN4curl5multi5Multi4wait17h72a92de5b4dccb8aE
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.1.rcgu.o) : error LNK2019: unresolved external symbol curl_multi_perform referenced in function _ZN4curl5multi5Multi7perform17h460282b794764aa3E
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.1.rcgu.o) : error LNK2019: unresolved external symbol curl_multi_fdset referenced in function _ZN4curl5multi5Multi6fdset217h69d10f53449f4578E
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.1.rcgu.o) : error LNK2019: unresolved external symbol curl_multi_cleanup referenced in function _ZN4curl5multi5Multi10close_impl17h8c7044732789a9e5E
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.1.rcgu.o) : error LNK2019: unresolved external symbol curl_easy_setopt referenced in function _ZN4curl5multi10EasyHandle9set_token17ha7bbf74f440e4f21E
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.0.rcgu.o) : error LNK2001: unresolved external symbol curl_easy_setopt
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.1.rcgu.o) : error LNK2019: unresolved external symbol curl_easy_getinfo referenced in function _ZN4curl5multi7Message5token17hf32f4aa81ebc4370E
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.0.rcgu.o) : error LNK2001: unresolved external symbol curl_easy_getinfo
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.0.rcgu.o) : error LNK2019: unresolved external symbol curl_easy_init referenced in function _ZN4curl4easy7handler14Easy2$LT$H$GT$3new17h7b421e6cab46ab3eE
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.0.rcgu.o) : error LNK2019: unresolved external symbol curl_easy_reset referenced in function _ZN4curl4easy7handler14Easy2$LT$H$GT$5reset17h491410401a472467E
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.0.rcgu.o) : error LNK2019: unresolved external symbol curl_easy_perform referenced in function _ZN4curl4easy7handler14Easy2$LT$H$GT$7perform17h5be846b7a82f92a4E
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.0.rcgu.o) : error LNK2019: unresolved external symbol curl_easy_pause referenced in function _ZN4curl4easy7handler14Easy2$LT$H$GT$12unpause_read17h3009dd04dae5dd05E
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.0.rcgu.o) : error LNK2019: unresolved external symbol curl_easy_escape referenced in function _ZN4curl4easy7handler14Easy2$LT$H$GT$10url_encode17h1611edbd10a2ade2E
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.0.rcgu.o) : error LNK2019: unresolved external symbol curl_free referenced in function _ZN4curl4easy7handler14Easy2$LT$H$GT$10url_encode17h1611edbd10a2ade2E
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.0.rcgu.o) : error LNK2019: unresolved external symbol curl_easy_unescape referenced in function _ZN4curl4easy7handler14Easy2$LT$H$GT$10url_decode17h2273d53cd5a2bc47E
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.0.rcgu.o) : error LNK2019: unresolved external symbol curl_easy_recv referenced in function _ZN4curl4easy7handler14Easy2$LT$H$GT$4recv17hc5a51b8c0e043e1fE
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.0.rcgu.o) : error LNK2019: unresolved external symbol curl_easy_send referenced in function _ZN4curl4easy7handler14Easy2$LT$H$GT$4send17h6f38bc7170365302E
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.0.rcgu.o) : error LNK2019: unresolved external symbol curl_easy_cleanup referenced in function _ZN77_$LT$curl..easy..handler..Easy2$LT$H$GT$$u20$as$u20$core..ops..drop..Drop$GT$4drop17h94c200629da3322fE
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.10.rcgu.o) : error LNK2019: unresolved external symbol curl_version referenced in function _ZN4curl7version7Version3num17h6399c69966ce8264E
          libcurl-bc57efa23d0beb4d.rlib(curl-bc57efa23d0beb4d.curl.c13lbq8w-cgu.10.rcgu.o) : error LNK2019: unresolved external symbol curl_version_info referenced in function _ZN4curl7version7Version3get17he49a0f76cee86c92E
          D:\Temp\git\elan\target\debug\deps\liblibz_sys-b8de7c0ec5755a78.rlib : warning LNK4272: library machine type 'x86' conflicts with target machine type 'x64'
          d:\Temp\git\elan\target\debug\deps\elan_init.exe : fatal error LNK1120: 40 unresolved externals

error: aborting due to previous error; 173 warnings emitted

error: could not compile `elan`
lovettchris commented 2 years ago

Ah, I needed a x64 build environment... (adding this to the readme)...