From f858025ac2e980b8b00fc8428c8b59ae3d27a1c4 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 20 Nov 2018 19:10:27 +0100
Subject: [dune] Only build printers when the ltac plugin is available.

This fixes a problem reported by @Zimmi48 in #8948, IMHO we should be
able to have a clean build of core Coq.
---
 dev/dune | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dev')

diff --git a/dev/dune b/dev/dune
index bfa2d525c9..7dfaa616b6 100644
--- a/dev/dune
+++ b/dev/dune
@@ -4,6 +4,7 @@
  (synopsis "Coq's Debug Printers")
  (wrapped false)
  (modules :standard)
+ (optional)
  (libraries coq.toplevel coq.plugins.ltac))
 
 (rule
-- 
cgit v1.2.3