From 315fc195f91784bab8f53bbdcbca283555742992 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Thu, 19 Jan 2023 11:13:20 +0100
Subject: [PATCH] [Nix] Fix mlmpfr package, build inputs must be propagated
---
nix/mlmpfr.nix | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/nix/mlmpfr.nix b/nix/mlmpfr.nix
index b4f93b4a874..ba0bd209fc1 100644
--- a/nix/mlmpfr.nix
+++ b/nix/mlmpfr.nix
@@ -19,7 +19,7 @@ buildDunePackage rec {
sha256 = "19g26jv6cjinpl5pcjif1ldyaagxlandp3qjajsy8srqg4a5rg0d";
};
- buildInputs = [ gmp mpfr ];
+ propagatedBuildInputs = [ gmp mpfr ];
meta = {
description = "The package provides bindings for MPFR";
--
GitLab