From f903082b7224f0fd2263f70df8e393aff88f6b1c Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sun, 21 Apr 2019 18:16:34 +0200
Subject: [dune] Support for coqide as an ocamldebug target.

Works fine here, cc: #9975
---
 dev/dune        | 1 +
 dev/dune-dbg.in | 3 +++
 2 files changed, 4 insertions(+)

(limited to 'dev')

diff --git a/dev/dune b/dev/dune
index ffa885a008..11e42f97f3 100644
--- a/dev/dune
+++ b/dev/dune
@@ -12,6 +12,7 @@
   (deps dune-dbg.in
         ../checker/coqchk.bc
         ../topbin/coqc_bin.bc
+        ../ide/coqide_main.bc
         ; This is not enough as the call to `ocamlfind` will fail :/
         top_printers.cma)
   (action (copy dune-dbg.in dune-dbg)))
diff --git a/dev/dune-dbg.in b/dev/dune-dbg.in
index bd0a837938..1382f4d1b6 100755
--- a/dev/dune-dbg.in
+++ b/dev/dune-dbg.in
@@ -6,6 +6,9 @@ case $1 in
         shift
         exe=_build/default/checker/coqchk.bc
         ;;
+    coqide)
+        exe=_build/default/ide/coqide_main.bc
+        ;;
     *)
         exe=_build/default/topbin/coqc_bin.bc
         ;;
-- 
cgit v1.2.3