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.
---
 clib/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'clib')

diff --git a/clib/dune b/clib/dune
index 689a955ab7..10c75d6aa2 100644
--- a/clib/dune
+++ b/clib/dune
@@ -4,5 +4,5 @@
  (public_name coq.clib)
  (wrapped false)
  (modules_without_implementation cSig)
- (libraries threads str unix dynlink))
+ (libraries str unix threads))
 
-- 
cgit v1.2.3