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.
---
 META.coq.in | 8 ++++----
 clib/dune   | 2 +-
 kernel/dune | 2 +-
 lib/dune    | 2 +-
 4 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/META.coq.in b/META.coq.in
index 181887bc3d..25c0b666f4 100644
--- a/META.coq.in
+++ b/META.coq.in
@@ -22,7 +22,7 @@ package "clib" (
   version     = "8.10"
 
   directory   = "clib"
-  requires    = "num, str, unix, threads"
+  requires    = "str, unix, threads"
 
   archive(byte)    = "clib.cma"
   archive(native)  = "clib.cmxa"
@@ -35,7 +35,7 @@ package "lib" (
 
   directory   = "lib"
 
-  requires    = "coq.clib, coq.config"
+  requires    = "coq.clib, coq.config, dynlink"
 
   archive(byte)   = "lib.cma"
   archive(native) = "lib.cmxa"
@@ -68,7 +68,7 @@ package "kernel" (
 
   directory   = "kernel"
 
-  requires    = "dynlink, coq.lib, coq.vm"
+  requires    = "coq.lib, coq.vm"
 
   archive(byte)    = "kernel.cma"
   archive(native)  = "kernel.cmxa"
@@ -223,7 +223,7 @@ package "toplevel" (
   description = "Coq Toplevel"
   version     = "8.10"
 
-  requires    = "coq.stm"
+  requires    = "num, coq.stm"
   directory   = "toplevel"
 
   archive(byte)    = "toplevel.cma"
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))
 
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)
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