|
|
|
@ -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/"; |
|
|
|
|