diff options
author | Mario Rodas <marsam@users.noreply.github.com> | 2020-05-16 04:20:00 -0500 |
---|---|---|
committer | Mario Rodas <marsam@users.noreply.github.com> | 2020-05-16 04:20:00 -0500 |
commit | b022ecbf5dbe02089dddb4dafa9e46a518026d02 (patch) | |
tree | 0fea83078564c1d63a068508501afa9e4aa0f847 | |
parent | b5742ab4937cac4fffbbc4c7439d9a7e27ecd4b1 (diff) | |
download | nixlib-b022ecbf5dbe02089dddb4dafa9e46a518026d02.tar nixlib-b022ecbf5dbe02089dddb4dafa9e46a518026d02.tar.gz nixlib-b022ecbf5dbe02089dddb4dafa9e46a518026d02.tar.bz2 nixlib-b022ecbf5dbe02089dddb4dafa9e46a518026d02.tar.lz nixlib-b022ecbf5dbe02089dddb4dafa9e46a518026d02.tar.xz nixlib-b022ecbf5dbe02089dddb4dafa9e46a518026d02.tar.zst nixlib-b022ecbf5dbe02089dddb4dafa9e46a518026d02.zip |
lean: 3.10.0 -> 3.13.1
-rw-r--r-- | pkgs/applications/science/logic/lean/default.nix | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/lean/default.nix b/pkgs/applications/science/logic/lean/default.nix index c80c163562be..ed077b039087 100644 --- a/pkgs/applications/science/logic/lean/default.nix +++ b/pkgs/applications/science/logic/lean/default.nix @@ -1,14 +1,14 @@ -{ stdenv, fetchFromGitHub, cmake, gmp }: +{ stdenv, fetchFromGitHub, cmake, gmp, coreutils }: stdenv.mkDerivation rec { pname = "lean"; - version = "3.10.0"; + version = "3.13.1"; src = fetchFromGitHub { owner = "leanprover-community"; repo = "lean"; rev = "v${version}"; - sha256 = "0nmh09x3scfqg0bg1qf8b7z67s11hbfd7kr1h6k1zw94fyn2mg8q"; + sha256 = "1ak5l40h5yjlbzz92l724l6bm5q341cg6k1yk13sbwn42l8szsar"; }; nativeBuildInputs = [ cmake ]; @@ -19,6 +19,11 @@ stdenv.mkDerivation rec { cd src ''; + postInstall = stdenv.lib.optionalString stdenv.isDarwin '' + substituteInPlace $out/bin/leanpkg \ + --replace "greadlink" "${coreutils}/bin/readlink" + ''; + meta = with stdenv.lib; { description = "Automatic and interactive theorem prover"; homepage = "https://leanprover.github.io/"; |