Hello. I need to test a library that is still being developed. It needs Coq 8.13 to work correctly. I tried cloning the v8.13
branch and building it with dune build
but it fails. From the log I think it stops during the testing phase. Is there a way to get a working Coq 8.13 install? Is it possible to skip the test phase while building, or is it compulsory in order to trust the obtained Coq? Thanks.
@Enzo Crance use the targets shown in help make -f Makefile.dune
We should really change the default dune target though. It's only natural that people will try to run dune build
.
Indeed!
Tho once we have better integration with the sphinx build and the test suite
dune build @all
will be much more usable IMHO
Last updated: Oct 13 2024 at 01:02 UTC