From 3940ca86e18e6274719d0b435d769ec8a06af7a7 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 3 Mar 2020 21:28:47 -0500
Subject: [dune] Fix bug in auto-configure deps.

`plugins` needs to be present to coq_makefile variables are properly
initialized.
---
 config/dune | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'config')

diff --git a/config/dune b/config/dune
index 5f2f7b1222..bf1aa4f471 100644
--- a/config/dune
+++ b/config/dune
@@ -13,5 +13,7 @@
    %{project_root}/configure.ml
    %{project_root}/dev/ocamldebug-coq.run
    %{project_root}/dev/header.c
+  ; Needed to generate include lists for coq_makefile
+  (source_tree %{project_root}/plugins)
   (env_var COQ_CONFIGURE_PREFIX))
  (action (chdir %{project_root} (run %{ocaml} configure.ml -no-ask -native-compiler no))))
-- 
cgit v1.2.3