Stream: Coq users

Topic: Coq 8.13 install


view this post on Zulip Enzo Crance (Nov 24 2020 at 16:28):

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.

view this post on Zulip Emilio Jesús Gallego Arias (Nov 24 2020 at 16:29):

@Enzo Crance use the targets shown in help make -f Makefile.dune

view this post on Zulip Théo Zimmermann (Nov 24 2020 at 16:45):

We should really change the default dune target though. It's only natural that people will try to run dune build.

view this post on Zulip Emilio Jesús Gallego Arias (Nov 24 2020 at 20:22):

Indeed!

view this post on Zulip Emilio Jesús Gallego Arias (Nov 24 2020 at 20:22):

Tho once we have better integration with the sphinx build and the test suite

view this post on Zulip Emilio Jesús Gallego Arias (Nov 24 2020 at 20:22):

dune build @all will be much more usable IMHO


Last updated: Jan 28 2023 at 07:30 UTC