From 2eb778033fe37fa26adaf41d48fc630ef66c9d1d Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 10 Sep 2020 21:58:31 +0200
Subject: [build] Don't link `num` anymore in Coq

After #8743 we don't depend on `num` anymore in the codebase; thus we
drop the dependency.

This could create problems for plugins relying on this implicit
linking.
---
 default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'default.nix')

diff --git a/default.nix b/default.nix
index e383d214e0..ffee77f1f7 100644
--- a/default.nix
+++ b/default.nix
@@ -72,7 +72,7 @@ stdenv.mkDerivation rec {
   # Since #12604, ocamlfind looks for num when building plugins
   # This follows a similar change in the nixpkgs repo (cf. NixOS/nixpkgs#94230)
   # Same for zarith which is needed since its introduction as a dependency of Coq
-  propagatedBuildInputs = with ocamlPackages; [ num zarith ];
+  propagatedBuildInputs = with ocamlPackages; [ zarith ];
 
   src =
     if shell then null
-- 
cgit v1.2.3