diff options
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/logic/lean/default.nix | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/lean/default.nix b/pkgs/applications/science/logic/lean/default.nix new file mode 100644 index 000000000000..d1f4bc0a4145 --- /dev/null +++ b/pkgs/applications/science/logic/lean/default.nix @@ -0,0 +1,28 @@ +{ stdenv, fetchFromGitHub, cmake, gmp, mpfr, gperftools }: + +stdenv.mkDerivation rec { + name = "lean-${version}"; + version = "2016-12-08"; + + src = fetchFromGitHub { + owner = "leanprover"; + repo = "lean"; + rev = "7b63d6566faaf1dc0f2c8e873c61f51dce9ab618"; + sha256 = "0xxr7dnh7pmdbpxhl3cq9clwamxjk54zcxplsrz6xirk0qy7ga4l"; + }; + + buildInputs = [ gmp mpfr cmake gperftools ]; + 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 ]; + }; +} |