Anyone ever seen this kind of error before?
duplicate symbol '_caml_major_ring_index' in:
coq_memory.o
coq_interp.o
duplicate symbol '_caml_major_work_credit' in:
coq_memory.o
coq_interp.o
duplicate symbol '_caml_major_ring' in:
coq_memory.o
coq_interp.o
ld: 3 duplicate symbols for architecture x86_64
clang-11: error: linker command failed with exit code 1 (use -v to see invocation)
This comes from the CI of https://github.com/conda-forge/coq-feedstock/pull/14
https://github.com/coq/coq/issues/12940
Thanks!
Last updated: Oct 13 2024 at 01:02 UTC