blob: 3f3df23fe18c96008a5c633c3c808435b1a7940a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
#!/usr/bin/env bash
# Run in a proper install dune env.
case $1 in
checker)
exe=_build/default/checker/main.bc
;;
*)
exe=_build/default/topbin/coqtop_byte_bin.bc
;;
esac
ocamldebug $(ocamlfind query -recursive -i-format coq.top_printers) -I +threads -I dev $exe
|
