diff options
author | Gabriel Ebner <gebner@gebner.org> | 2016-12-08 10:29:33 -0500 |
---|---|---|
committer | Gabriel Ebner <gebner@gebner.org> | 2016-12-08 10:30:28 -0500 |
commit | a2210a9efd00cee732abbeda84e795efa5bc489b (patch) | |
tree | 56bad07cf447a08f9e723494a602958c1726e088 | |
parent | ce2a9a8f9b5ef229c18abedda63739f3886625cc (diff) | |
download | nixlib-a2210a9efd00cee732abbeda84e795efa5bc489b.tar nixlib-a2210a9efd00cee732abbeda84e795efa5bc489b.tar.gz nixlib-a2210a9efd00cee732abbeda84e795efa5bc489b.tar.bz2 nixlib-a2210a9efd00cee732abbeda84e795efa5bc489b.tar.lz nixlib-a2210a9efd00cee732abbeda84e795efa5bc489b.tar.xz nixlib-a2210a9efd00cee732abbeda84e795efa5bc489b.tar.zst nixlib-a2210a9efd00cee732abbeda84e795efa5bc489b.zip |
lean: init at 2016-12-08
-rw-r--r-- | pkgs/applications/science/logic/lean/default.nix | 28 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
2 files changed, 30 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 ]; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index a0b9edc65352..1ca0f4352088 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -16747,7 +16747,9 @@ in else smlnj; }; + lean = callPackage ../applications/science/logic/lean {}; lean2 = callPackage ../applications/science/logic/lean2 {}; + lean3 = lean; leo2 = callPackage ../applications/science/logic/leo2 {}; |