From 4085f84cc3c031aefd04d1ddd5c9c6912788a860 Mon Sep 17 00:00:00 2001 From: jthulhu Date: Thu, 19 Jun 2025 08:37:41 +0200 Subject: [PATCH] lean4: 4.19.0 -> 4.20.0 Release notes: - https://github.com/leanprover/lean4/releases/tag/v4.20.0-rc1 - https://github.com/leanprover/lean4/releases/tag/v4.20.0-rc2 - https://github.com/leanprover/lean4/releases/tag/v4.20.0-rc3 - https://github.com/leanprover/lean4/releases/tag/v4.20.0-rc4 - https://github.com/leanprover/lean4/releases/tag/v4.20.0-rc5 - https://github.com/leanprover/lean4/releases/tag/v4.20.0 --- pkgs/by-name/le/lean4/package.nix | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/pkgs/by-name/le/lean4/package.nix b/pkgs/by-name/le/lean4/package.nix index 0bb21efe3835..d47474effe06 100644 --- a/pkgs/by-name/le/lean4/package.nix +++ b/pkgs/by-name/le/lean4/package.nix @@ -15,7 +15,7 @@ stdenv.mkDerivation (finalAttrs: { pname = "lean4"; - version = "4.19.0"; + version = "4.20.0"; # Using a vendored version rather than nixpkgs' version to match the exact version required by # Lean. Apparently, even a slight version change can impact greatly the final performance. @@ -30,7 +30,7 @@ stdenv.mkDerivation (finalAttrs: { owner = "leanprover"; repo = "lean4"; tag = "v${finalAttrs.version}"; - hash = "sha256-Iw5JSamrty9l6aJ2WwslAolSHfi2q0UO8P8HI1gp+j8="; + hash = "sha256-1V3Uk96wdNJ3IP+hvXb5Hep8w8QK8GjqaeTVG+KUqXU="; }; postPatch = @@ -48,7 +48,7 @@ stdenv.mkDerivation (finalAttrs: { + (lib.optionalString enableMimalloc '' substituteInPlace CMakeLists.txt \ --replace-fail 'MIMALLOC-SRC' '${finalAttrs.mimalloc-src}' - for file in src/CMakeLists.txt src/runtime/CMakeLists.txt; do + for file in stage0/src/CMakeLists.txt stage0/src/runtime/CMakeLists.txt src/CMakeLists.txt src/runtime/CMakeLists.txt; do substituteInPlace "$file" \ --replace-fail '${pattern}' '${finalAttrs.mimalloc-src}' done