From 83adfcfcd2568000f6111f5d150b861c6ad2cc76 Mon Sep 17 00:00:00 2001 From: FliegendeWurst <2012gdwu+github@posteo.de> Date: Fri, 6 Dec 2024 14:27:32 +0100 Subject: [PATCH 1/2] mlton: fix and enable strictDeps --- pkgs/development/compilers/mlton/from-git-source.nix | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/pkgs/development/compilers/mlton/from-git-source.nix b/pkgs/development/compilers/mlton/from-git-source.nix index 2a8d13722b86..922ff25c77a2 100644 --- a/pkgs/development/compilers/mlton/from-git-source.nix +++ b/pkgs/development/compilers/mlton/from-git-source.nix @@ -18,13 +18,15 @@ stdenv.mkDerivation { inherit url rev sha256; }; - nativeBuildInputs = [ which ]; - - buildInputs = [ + nativeBuildInputs = [ + which mltonBootstrap - gmp ]; + buildInputs = [ gmp ]; + + strictDeps = true; + # build fails otherwise enableParallelBuilding = false; From 54b140d42913ab86b133f75e2340deb2c2074fc4 Mon Sep 17 00:00:00 2001 From: FliegendeWurst <2012gdwu+github@posteo.de> Date: Fri, 6 Dec 2024 16:42:01 +0100 Subject: [PATCH 2/2] mlton20211017Binary: fix and enable strictDeps --- pkgs/development/compilers/mlton/20210117-binary.nix | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/pkgs/development/compilers/mlton/20210117-binary.nix b/pkgs/development/compilers/mlton/20210117-binary.nix index 523d46ed8c39..6efb8fb863d2 100644 --- a/pkgs/development/compilers/mlton/20210117-binary.nix +++ b/pkgs/development/compilers/mlton/20210117-binary.nix @@ -4,6 +4,7 @@ fetchpatch, fetchurl, patchelf, + bash, gmp, }: let @@ -41,8 +42,12 @@ stdenv.mkDerivation rec { }) ]; - buildInputs = [ gmp ]; + buildInputs = [ + bash + gmp + ]; nativeBuildInputs = lib.optional stdenv.hostPlatform.isLinux patchelf; + strictDeps = true; buildPhase = '' make update \