From 7fb7c9ede2b44bac35b08d810ec9a08358d0267b Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 11 Jun 2020 16:38:48 +0200
Subject: [dune] [dbg] Fix coqide target after CoqIDE move.

Fixes #12496
---
 dev/dune        | 2 +-
 dev/dune-dbg.in | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'dev')

diff --git a/dev/dune b/dev/dune
index bdae51b434..a6d88c94d2 100644
--- a/dev/dune
+++ b/dev/dune
@@ -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
-- 
cgit v1.2.3