From 4a76c9f34c0468cc4b62239ca2adb83204a8b509 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 16 Jan 2020 18:35:44 +0100
Subject: [dune] [dbg] Add support for coqtop in dune-dbg

We also workaround problem #11405 , however, this should be reverted
once the problem is fixed in OCaml upstream.
---
 dev/dune | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'dev/dune')

diff --git a/dev/dune b/dev/dune
index 11e42f97f3..b312a55706 100644
--- a/dev/dune
+++ b/dev/dune
@@ -13,6 +13,8 @@
         ../checker/coqchk.bc
         ../topbin/coqc_bin.bc
         ../ide/coqide_main.bc
-        ; This is not enough as the call to `ocamlfind` will fail :/
+        %{lib:coq.plugins.ltac:ltac_plugin.cma}
+        ; This is not enough, the call to `ocamlfind` may fail if the
+        ; META file is not yet in place :/
         top_printers.cma)
   (action (copy dune-dbg.in dune-dbg)))
-- 
cgit v1.2.3