From c0948de203f6eccb42c47c2e818cf8234f09ec79 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 5 Mar 2019 13:50:23 +0100
Subject: [dune] [checker] Don't install internal checker library.

This library is private and shouldn't be exposed to plugins.
---
 checker/dune | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/checker/dune b/checker/dune
index ee427d26c5..73cbbc8d19 100644
--- a/checker/dune
+++ b/checker/dune
@@ -3,8 +3,7 @@
 ; If we don't pack checker we will have a problem here due to
 ; duplicate module names in the whole build.
 (library
- (name checklib)
- (public_name coq.checklib)
+ (name coq_checklib)
  (synopsis "Coq's Standalone Proof Checker")
  (modules :standard \ coqchk votour)
  (wrapped true)
@@ -15,14 +14,14 @@
  (public_name coqchk)
  (package coq)
  (modules coqchk)
- (flags :standard -open Checklib)
- (libraries coq.checklib))
+ (flags :standard -open Coq_checklib)
+ (libraries coq_checklib))
 
 (executable
  (name votour)
  (public_name votour)
  (package coq)
  (modules votour)
- (flags :standard -open Checklib)
- (libraries coq.checklib))
+ (flags :standard -open Coq_checklib)
+ (libraries coq_checklib))
 
-- 
cgit v1.2.3