How do we debug coqchk? I don't even manage to compile the byte version.
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
Maybe we don't install the byte version
dune exec -- dev/dune-dbg checker /tmp/foo.vo
Doing this natively in dune would be great
Last updated: Oct 13 2024 at 01:02 UTC