diff options
author | Frederik Rietdijk <fridh@fridh.nl> | 2021-03-26 10:36:07 +0100 |
---|---|---|
committer | Frederik Rietdijk <fridh@fridh.nl> | 2021-04-03 17:06:21 +0200 |
commit | 7865ac104676c59892f64be2b413227a7d0572ec (patch) | |
tree | 218800fcc1aa9259c508dd3d80136b98fd907c13 /pkgs/applications | |
parent | 12585844a372fd12b3e744ce1f330fad9e7a49e0 (diff) | |
download | nixlib-7865ac104676c59892f64be2b413227a7d0572ec.tar nixlib-7865ac104676c59892f64be2b413227a7d0572ec.tar.gz nixlib-7865ac104676c59892f64be2b413227a7d0572ec.tar.bz2 nixlib-7865ac104676c59892f64be2b413227a7d0572ec.tar.lz nixlib-7865ac104676c59892f64be2b413227a7d0572ec.tar.xz nixlib-7865ac104676c59892f64be2b413227a7d0572ec.tar.zst nixlib-7865ac104676c59892f64be2b413227a7d0572ec.zip |
lean2: stay with python2
broken, so who knows...
Diffstat (limited to 'pkgs/applications')
-rw-r--r-- | pkgs/applications/science/logic/lean2/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/lean2/default.nix b/pkgs/applications/science/logic/lean2/default.nix index b3c6a51d440a..24d11c3a5319 100644 --- a/pkgs/applications/science/logic/lean2/default.nix +++ b/pkgs/applications/science/logic/lean2/default.nix @@ -1,4 +1,4 @@ -{ lib, stdenv, fetchFromGitHub, cmake, gmp, mpfr, python +{ lib, stdenv, fetchFromGitHub, cmake, gmp, mpfr, python2 , gperftools, ninja, makeWrapper }: stdenv.mkDerivation { @@ -13,7 +13,7 @@ stdenv.mkDerivation { }; nativeBuildInputs = [ cmake makeWrapper ninja ]; - buildInputs = [ gmp mpfr python gperftools ]; + buildInputs = [ gmp mpfr python2 gperftools ]; preConfigure = '' patchShebangs bin/leantags |