From 392c8f87bac1e47e18a2d7929bd01c2097b9e43a Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 14 Mar 2019 05:14:07 +0100
Subject: [dune] Don't have `lib` depend on `dynlink`

This is convenient for the bootstrap of `coqdep`
---
 lib/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/dune')

diff --git a/lib/dune b/lib/dune
index 8c6ef06e99..83783f9b5c 100644
--- a/lib/dune
+++ b/lib/dune
@@ -4,4 +4,4 @@
  (public_name coq.lib)
  (wrapped false)
  (modules_without_implementation xml_datatype)
- (libraries dynlink coq.clib coq.config))
+ (libraries coq.clib coq.config))
-- 
cgit v1.2.3