diff options
author | Gabriel Ebner <gebner@gebner.org> | 2016-12-08 10:08:29 -0500 |
---|---|---|
committer | Gabriel Ebner <gebner@gebner.org> | 2016-12-08 10:30:28 -0500 |
commit | ce2a9a8f9b5ef229c18abedda63739f3886625cc (patch) | |
tree | 2f356b54bdd3771f9da0d2b6fd8fc91ae41019b8 /pkgs/applications/science/logic/lean | |
parent | 65778e7c599769e5152db60ddb69a389385f0925 (diff) | |
download | nixlib-ce2a9a8f9b5ef229c18abedda63739f3886625cc.tar nixlib-ce2a9a8f9b5ef229c18abedda63739f3886625cc.tar.gz nixlib-ce2a9a8f9b5ef229c18abedda63739f3886625cc.tar.bz2 nixlib-ce2a9a8f9b5ef229c18abedda63739f3886625cc.tar.lz nixlib-ce2a9a8f9b5ef229c18abedda63739f3886625cc.tar.xz nixlib-ce2a9a8f9b5ef229c18abedda63739f3886625cc.tar.zst nixlib-ce2a9a8f9b5ef229c18abedda63739f3886625cc.zip |
lean2: 2016-07-05 -> 2016-11-29
Renamed from lean since upstream renamed it as well. The lean attribute in nixpkgs will now refer to the new lean 3 version.
Diffstat (limited to 'pkgs/applications/science/logic/lean')
-rw-r--r-- | pkgs/applications/science/logic/lean/default.nix | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/pkgs/applications/science/logic/lean/default.nix b/pkgs/applications/science/logic/lean/default.nix deleted file mode 100644 index e833b4afbbd2..000000000000 --- a/pkgs/applications/science/logic/lean/default.nix +++ /dev/null @@ -1,34 +0,0 @@ -{ stdenv, fetchFromGitHub, cmake, gmp, mpfr, boost, python -, gperftools, ninja, makeWrapper }: - -stdenv.mkDerivation rec { - name = "lean-${version}"; - version = "2016-07-05"; - - src = fetchFromGitHub { - owner = "leanprover"; - repo = "lean"; - rev = "cc70845332e63a1f1be21dc1f96d17269fc85909"; - sha256 = "09qz2vjw7whiggvw0cdaa4i2f49wnch2sd4r43glq181ssln27d6"; - }; - - buildInputs = [ gmp mpfr boost cmake python gperftools ninja makeWrapper ]; - enableParallelBuilding = true; - - preConfigure = '' - patchShebangs bin/leantags - cd src - ''; - - postInstall = '' - wrapProgram $out/bin/linja --prefix PATH : $out/bin:${ninja}/bin - ''; - - 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 ]; - }; -} |