Stream: Coq devs & plugin devs

Topic: debugging coqchk


view this post on Zulip Pierre-Marie Pédrot (Feb 17 2022 at 15:43):

How do we debug coqchk? I don't even manage to compile the byte version.

view this post on Zulip Pierre-Marie Pédrot (Feb 17 2022 at 15:43):

pm@ouranos:~/sources/coq$ dune build _build/install/default/bin/coqchk.byte
Error: Don't know how to build _build/install/default/bin/coqchk.byte

view this post on Zulip Emilio Jesús Gallego Arias (Feb 17 2022 at 15:54):

Maybe we don't install the byte version

view this post on Zulip Gaëtan Gilbert (Feb 17 2022 at 15:56):

dune exec -- dev/dune-dbg checker /tmp/foo.vo

view this post on Zulip Emilio Jesús Gallego Arias (Feb 17 2022 at 17:15):

Doing this natively in dune would be great


Last updated: Oct 13 2024 at 01:02 UTC