public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

lean2: stay with python2

Browse Source 
broken, so who knows...
This commit is contained in:
Frederik Rietdijk 2021-03-26 10:36:07 +01:00
parent 12585844a3
commit 7865ac1046
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/applications/science/logic/lean2/default.nix
View File

@ -1,4 +1,4 @@
{ lib, stdenv, fetchFromGitHub, cmake, gmp, mpfr, python { lib, stdenv, fetchFromGitHub, cmake, gmp, mpfr, python2
, gperftools, ninja, makeWrapper }: , gperftools, ninja, makeWrapper }:
stdenv.mkDerivation { stdenv.mkDerivation {
@ -13,7 +13,7 @@ stdenv.mkDerivation {
}; };
nativeBuildInputs = [ cmake makeWrapper ninja ]; nativeBuildInputs = [ cmake makeWrapper ninja ];
buildInputs = [ gmp mpfr python gperftools ]; buildInputs = [ gmp mpfr python2 gperftools ];
preConfigure = '' preConfigure = ''
patchShebangs bin/leantags patchShebangs bin/leantags