blob: 1382f4d1b6dd955cd705579a64f495273028ae9f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#!/usr/bin/env bash
# Run in a proper install dune env.
case $1 in
checker)
shift
exe=_build/default/checker/coqchk.bc
;;
coqide)
exe=_build/default/ide/coqide_main.bc
;;
*)
exe=_build/default/topbin/coqc_bin.bc
;;
esac
emacs="${INSIDE_EMACS:+-emacs}"
ocamldebug $emacs $(ocamlfind query -recursive -i-format coq.top_printers) -I +threads -I dev $exe "$@"
|
