diff options
author | Will Dietz <w@wdtz.org> | 2017-10-18 08:37:50 -0500 |
---|---|---|
committer | Will Dietz <w@wdtz.org> | 2018-01-22 17:19:02 -0600 |
commit | a5a64cfcb186d50d5e19d0ef48b94a55cef6e41a (patch) | |
tree | 8251576eeccdcd52ee18daf03c36694d8e501872 /pkgs/applications/science/logic/lean | |
parent | 4e5a4a92e898e8255ff3a8d2c9293abfd48168e8 (diff) | |
download | nixlib-a5a64cfcb186d50d5e19d0ef48b94a55cef6e41a.tar nixlib-a5a64cfcb186d50d5e19d0ef48b94a55cef6e41a.tar.gz nixlib-a5a64cfcb186d50d5e19d0ef48b94a55cef6e41a.tar.bz2 nixlib-a5a64cfcb186d50d5e19d0ef48b94a55cef6e41a.tar.lz nixlib-a5a64cfcb186d50d5e19d0ef48b94a55cef6e41a.tar.xz nixlib-a5a64cfcb186d50d5e19d0ef48b94a55cef6e41a.tar.zst nixlib-a5a64cfcb186d50d5e19d0ef48b94a55cef6e41a.zip |
lean: fixup nativeBuildInputs vs buildInputs
Diffstat (limited to 'pkgs/applications/science/logic/lean')
-rw-r--r-- | pkgs/applications/science/logic/lean/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/lean/default.nix b/pkgs/applications/science/logic/lean/default.nix index b3f0b3259277..095aa5a7f8c8 100644 --- a/pkgs/applications/science/logic/lean/default.nix +++ b/pkgs/applications/science/logic/lean/default.nix @@ -11,7 +11,8 @@ stdenv.mkDerivation rec { sha256 = "0irh9b4haz0pzzxrb4hwcss91a0xb499kjrcrmr2s59p3zq8bbd9"; }; - buildInputs = [ gmp cmake ]; + nativeBuildInputs = [ cmake ]; + buildInputs = [ gmp ]; enableParallelBuilding = true; preConfigure = '' |