Stream: Coq devs & plugin devs

Topic: ✔ test-suite and ounit2


view this post on Zulip Pierre Rousselin (Oct 07 2023 at 08:20):

I have tried to run the test-suite and I am stuck with:

ocamlfind: Package `ounit2' not found

I have tried installing ounit2 with opam, it is listed in opam list, but I have the same message.

Edit : For some reason, cleaning in the repo root and remaking worked.

view this post on Zulip Notification Bot (Oct 07 2023 at 08:42):

Pierre Rousselin has marked this topic as resolved.


Last updated: Oct 13 2024 at 01:02 UTC