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: Dec 07 2023 at 04:02 UTC