From cbb2efcaecff4e066d8ac37bd049a8e917bec9d6 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Wed, 22 Jul 2020 13:08:49 +0200
Subject: dune: pass -bin-annot to configure

This ends up in coq_makefile's CAMLFLAGS so we need it to make merlin
work properly.
---
 config/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config/dune b/config/dune
index a30fdce9aa..83d1364b0c 100644
--- a/config/dune
+++ b/config/dune
@@ -22,4 +22,4 @@
    ; Needed to generate include lists for coq_makefile
    plugin_list
   (env_var COQ_CONFIGURE_PREFIX))
- (action (chdir %{project_root} (run %{ocaml} configure.ml -no-ask -native-compiler no))))
+ (action (chdir %{project_root} (run %{ocaml} configure.ml -no-ask -native-compiler no -bin-annot))))
-- 
cgit v1.2.3