search

leanprover / elan

The Lean version manager
Apache License 2.0
316 stars 35 forks source link

Curl linking error on Apple Silicon #59

Closed chadbrewbaker closed 2 years ago

chadbrewbaker commented 2 years ago 
 = note: ld: reference to symbol (which has not been assigned an address) __ZN4curl4init9INIT_CTOR17hdd61678542e1dd3aE in '__ZN4curl4init17h1c2adee8ce1862d8E' from /Users/crb002/github/elan/target/debug/deps/libcurl-3effebf88d379a6d.rlib(curl-3effebf88d379a6d.curl.60125edb-cgu.2.rcgu.o) for architecture arm64
          clang: error: linker command failed with exit code 1 (use -v to see invocation)

Looks like a curl link error.

chadbrewbaker commented 2 years ago

Looks like blowing away the cargo lockfile fixes it, closing.

EdAyers commented 2 years ago

Can this be reopened? Seems like build should work without needing to delete a checked in file.

EdAyers commented 2 years ago

Can this be reopened? Seems like build should work without needing to delete a checked in file.