Stream: Coq devs & plugin devs

Topic: ✔ Test-suite fake_ide issue

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:

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

Théo Zimmermann (Aug 12 2021 at 09:11):

Not sure I get what you mean.

Gaëtan Gilbert (Aug 12 2021 at 09:13):

oh I was looking at the wrong commit
or blind

Théo Zimmermann (Aug 12 2021 at 10:09):

That was probably my mistake: testing on an outdated master.

Gaëtan Gilbert (Aug 12 2021 at 10:14):

it works on master?

Théo Zimmermann (Aug 12 2021 at 10:15):

I'm currently checking this.

Théo Zimmermann (Aug 12 2021 at 10:23):

Yes, it works well.

Notification Bot (Aug 12 2021 at 10:23):

Théo Zimmermann has marked this topic as resolved.

Last updated: May 31 2023 at 16:01 UTC