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 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'dev/dune')

diff --git a/dev/dune b/dev/dune
index 792da6254a..ffa885a008 100644
--- a/dev/dune
+++ b/dev/dune
@@ -3,7 +3,7 @@
  (public_name coq.top_printers)
  (synopsis "Coq's Debug Printers")
  (wrapped false)
- (modules :standard)
+ (modules top_printers)
  (optional)
  (libraries coq.toplevel coq.plugins.ltac))
 
@@ -11,7 +11,7 @@
   (targets dune-dbg)
   (deps dune-dbg.in
         ../checker/coqchk.bc
-        ../topbin/coqtop_byte_bin.bc
+        ../topbin/coqc_bin.bc
         ; This is not enough as the call to `ocamlfind` will fail :/
         top_printers.cma)
   (action (copy dune-dbg.in dune-dbg)))
-- 
cgit v1.2.3