Stream: Coq devs & plugin devs

Topic: findlib finding coq-core/META from another opam switch


view this post on Zulip Ali Caglayan (May 09 2022 at 17:26):

Running make ci-coqprime on a completely different opam switch, but findlib seems to find coq in another switch. What can I do about this?

findlib: [WARNING] Package coq-core has multiple definitions in /home/ali/coq/_build/install/default/lib/coq-core/META, /mnt/sdd1/.opam/coq.dev/lib/coq-core/META

Last updated: Feb 05 2023 at 20:03 UTC