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

(limited to 'kernel')

diff --git a/kernel/dune b/kernel/dune
index a503238907..4f2e0e4e28 100644
--- a/kernel/dune
+++ b/kernel/dune
@@ -4,7 +4,7 @@
  (public_name coq.kernel)
  (wrapped false)
  (modules_without_implementation cinstr nativeinstr)
- (libraries clib config lib byterun))
+ (libraries lib byterun))
 
 (rule
  (targets copcodes.ml)
-- 
cgit v1.2.3