From 72e4c607968dcbc68fff34e66d56a2e48a13025b Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sat, 24 Nov 2018 23:13:58 +0100
Subject: [dune] Minor tweak of dependencies.

`clib` doesn't need `dynlink`, but `lib` does, similarly for
`threads`, `num`...

We align Dune and META deps.
---
 lib/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

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