Stream: Coq devs & plugin devs

Topic: Strange clang error


view this post on Zulip Théo Zimmermann (Nov 14 2020 at 12:30):

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

view this post on Zulip Gaëtan Gilbert (Nov 14 2020 at 12:35):

https://github.com/coq/coq/issues/12940

view this post on Zulip Théo Zimmermann (Nov 14 2020 at 14:13):

Thanks!


Last updated: Oct 21 2021 at 20:02 UTC