From e2a2aff6602c66afc639cb459a159c2d765d734f Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 3 Apr 2018 11:32:16 +0200
Subject: [meta] Add `num` to the set of base libraries.

In the META file, the set of base libraries is determined by the
dependencies of the `coq.clib` package.

We add `num` to the dependencies as otherwise dynamically loading
`micromega` and `nsatz` will fail as they require the toplevel to have
`num` linked in.
---
 META.coq | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/META.coq b/META.coq
index 4e53098c7a..30bfdd67a7 100644
--- a/META.coq
+++ b/META.coq
@@ -20,7 +20,7 @@ package "clib" (
   version     = "8.8"
 
   directory   = "clib"
-  requires    = "str, unix, threads"
+  requires    = "num, str, unix, threads"
 
   archive(byte)    = "clib.cma"
   archive(native)  = "clib.cmxa"
-- 
cgit v1.2.3