diff options
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/dune | 2 | ||||
| -rwxr-xr-x | dev/dune-dbg.in | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -13,7 +13,7 @@ dune-dbg.in ../checker/coqchk.bc ../topbin/coqc_bin.bc - ../ide/coqide_main.bc + ../ide/coqide/coqide_main.bc ; We require all the OCaml libs to be in place and searchable ; by OCamlfind, this is a bit of a hack but until Dune gets ; proper ocamldebug support we have to live with that. diff --git a/dev/dune-dbg.in b/dev/dune-dbg.in index 498f167eb1..47dfbad3a0 100755 --- a/dev/dune-dbg.in +++ b/dev/dune-dbg.in @@ -8,7 +8,7 @@ case $1 in ;; coqide) shift - exe=_build/default/ide/coqide_main.bc + exe=_build/default/ide/coqide/coqide_main.bc ;; coqc) shift |