When I do
make unit-tests in
test-suite I get to here:
TEST unit-tests/clib/inteq.ml ocamlfind: Package `coq-core.toplevel' not found Makefile:325: recipe for target 'unit-tests/clib/inteq.ml.log' failed make: *** [unit-tests/clib/inteq.ml.log] Error 2
Did I miss something?
Originally happened within dune
I'm not sure how to make things know about coq-core.toplevel
It's a bug, please open an issue
OK submitted as https://github.com/coq/coq/issues/14624
For some reason OCAMLPATH is not properly set, or maybe coq was not built?
I made a PR, look at it
Last updated: Oct 16 2021 at 02:03 UTC