diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2020-05-18 10:28:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-18 10:28:09 +0200 |
| commit | 3ec270c2452270077b9dfd9b694d1dcaca5a1e1e (patch) | |
| tree | 2541ca57a2387b56ba07b46b5ec02308a3162cb4 /pkgs | |
| parent | 20b0143c113a7324c391d27f384b2defd0c2d585 (diff) | |
| parent | b022ecbf5dbe02089dddb4dafa9e46a518026d02 (diff) | |
| download | nixlib-3ec270c2452270077b9dfd9b694d1dcaca5a1e1e.tar nixlib-3ec270c2452270077b9dfd9b694d1dcaca5a1e1e.tar.gz nixlib-3ec270c2452270077b9dfd9b694d1dcaca5a1e1e.tar.bz2 nixlib-3ec270c2452270077b9dfd9b694d1dcaca5a1e1e.tar.lz nixlib-3ec270c2452270077b9dfd9b694d1dcaca5a1e1e.tar.xz nixlib-3ec270c2452270077b9dfd9b694d1dcaca5a1e1e.tar.zst nixlib-3ec270c2452270077b9dfd9b694d1dcaca5a1e1e.zip | |
Merge pull request #88002 from marsam/update-lean
Diffstat (limited to 'pkgs')
| -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/"; |