diff options
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/lean/default.nix')
-rw-r--r-- | nixpkgs/pkgs/applications/science/logic/lean/default.nix | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/applications/science/logic/lean/default.nix b/nixpkgs/pkgs/applications/science/logic/lean/default.nix new file mode 100644 index 000000000000..16fdab59ea02 --- /dev/null +++ b/nixpkgs/pkgs/applications/science/logic/lean/default.nix @@ -0,0 +1,29 @@ +{ stdenv, fetchFromGitHub, cmake, gmp }: + +stdenv.mkDerivation rec { + name = "lean-${version}"; + version = "3.4.1"; + + src = fetchFromGitHub { + owner = "leanprover"; + repo = "lean"; + rev = "v${version}"; + sha256 = "0ww8azlyy3xikhd7nh96f507sg23r53zvayij1mwv5513vmblhhw"; + }; + + nativeBuildInputs = [ cmake ]; + buildInputs = [ gmp ]; + enableParallelBuilding = true; + + preConfigure = '' + cd src + ''; + + meta = with stdenv.lib; { + description = "Automatic and interactive theorem prover"; + homepage = "http://leanprover.github.io"; + license = licenses.asl20; + platforms = platforms.unix; + maintainers = with maintainers; [ thoughtpolice gebner ]; + }; +} |