From defda813f09428c446df5b4c964dc228587931d8 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 9 Dec 2019 22:40:03 +0100
Subject: dune: Add byte mode for coqchk and coqide (fix dune-dbg for dune 2)

dune-dbg depends on coqchk.bc and coqide_main.bc, and apparently they
now need explicit modes to be produced.
---
 checker/dune | 1 +
 ide/dune     | 1 +
 2 files changed, 2 insertions(+)

diff --git a/checker/dune b/checker/dune
index 73cbbc8d19..af7d4f2923 100644
--- a/checker/dune
+++ b/checker/dune
@@ -12,6 +12,7 @@
 (executable
  (name coqchk)
  (public_name coqchk)
+ (modes exe byte)
  (package coq)
  (modules coqchk)
  (flags :standard -open Coq_checklib)
diff --git a/ide/dune b/ide/dune
index a599be9351..12bad7ebc4 100644
--- a/ide/dune
+++ b/ide/dune
@@ -48,6 +48,7 @@
  (package coqide)
  (optional)
  (modules coqide_main)
+ (modes exe byte)
  (libraries coqide_gui))
 
 ; Input-method bindings
-- 
cgit v1.2.3