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:
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
Not sure I get what you mean.
oh I was looking at the wrong commit
or blind
That was probably my mistake: testing on an outdated master
.
it works on master?
I'm currently checking this.
Yes, it works well.
Théo Zimmermann has marked this topic as resolved.
Last updated: May 31 2023 at 16:01 UTC