From 56b5d6792962a857f116a2fd62022fe7ae37ae19 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Wed, 22 May 2019 17:27:00 +0200
Subject: Better dune ocamldebug integration

- use coqc instead of coqtop (since -compile doesn't work anymore this
  is better)
- pass through extra arguments to dune-dbg
- auto detect the need to pass -emacs to ocamldebug
- instructions for emacs users

The dune-dbg dependencies are still broken ;_;
---
 dev/dune-dbg.in | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'dev/dune-dbg.in')

diff --git a/dev/dune-dbg.in b/dev/dune-dbg.in
index 80ad0500e0..bd0a837938 100755
--- a/dev/dune-dbg.in
+++ b/dev/dune-dbg.in
@@ -3,11 +3,14 @@
 # Run in a proper install dune env.
 case $1 in
     checker)
+        shift
         exe=_build/default/checker/coqchk.bc
         ;;
     *)
-        exe=_build/default/topbin/coqtop_byte_bin.bc
+        exe=_build/default/topbin/coqc_bin.bc
         ;;
 esac
 
-ocamldebug $(ocamlfind query -recursive -i-format coq.top_printers) -I +threads -I dev $exe
+emacs="${INSIDE_EMACS:+-emacs}"
+
+ocamldebug $emacs $(ocamlfind query -recursive -i-format coq.top_printers) -I +threads -I dev $exe "$@"
-- 
cgit v1.2.3