Stream: Coq devs & plugin devs

Topic: Test-suite fake_ide issue


view this post on Zulip Théo Zimmermann (Aug 12 2021 at 09:04):

I'm getting:

OCAMLC  ide/fake_ide.ml
ocamlfind: Package `coqide-server.protocol' not found
make: *** [Makefile:697 : ide/fake_ide.exe] Erreur 2

When building the test-suite with make from inside the test-suite/ directory :frown:

view this post on Zulip Gaëtan Gilbert (Aug 12 2021 at 09:08):

https://github.com/coq/coq/blob/080920e0063636a353f80cd9e54ee8365a796976/test-suite/Makefile#L702 needs a -package like https://github.com/coq/coq/blob/080920e0063636a353f80cd9e54ee8365a796976/test-suite/Makefile#L337

view this post on Zulip Théo Zimmermann (Aug 12 2021 at 09:11):

Not sure I get what you mean.

view this post on Zulip Gaëtan Gilbert (Aug 12 2021 at 09:13):

oh I was looking at the wrong commit
or blind


Last updated: Oct 21 2021 at 21:03 UTC