diff options
author | Jeff Huffman <tejing@tejing.com> | 2023-12-26 11:31:24 -0500 |
---|---|---|
committer | Jeff Huffman <tejing@tejing.com> | 2023-12-26 16:13:31 -0500 |
commit | b3a184a4aabf53ab3f408291a006b2e5835a4afa (patch) | |
tree | e3ff36094bb055ff6da3088514d15ae250145574 /pkgs | |
parent | 6df37dc6a77654682fe9f071c62b4242b5342e04 (diff) | |
download | nixlib-b3a184a4aabf53ab3f408291a006b2e5835a4afa.tar nixlib-b3a184a4aabf53ab3f408291a006b2e5835a4afa.tar.gz nixlib-b3a184a4aabf53ab3f408291a006b2e5835a4afa.tar.bz2 nixlib-b3a184a4aabf53ab3f408291a006b2e5835a4afa.tar.lz nixlib-b3a184a4aabf53ab3f408291a006b2e5835a4afa.tar.xz nixlib-b3a184a4aabf53ab3f408291a006b2e5835a4afa.tar.zst nixlib-b3a184a4aabf53ab3f408291a006b2e5835a4afa.zip |
lean4: clean up colliding files
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/applications/science/logic/lean4/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/lean4/default.nix b/pkgs/applications/science/logic/lean4/default.nix index 0f3d9c99ba88..14de8b42f576 100644 --- a/pkgs/applications/science/logic/lean4/default.nix +++ b/pkgs/applications/science/logic/lean4/default.nix @@ -46,6 +46,7 @@ stdenv.mkDerivation rec { cmakeFlags = [ "-DUSE_GITHASH=OFF" + "-DINSTALL_LICENSE=OFF" ]; # Work around https://github.com/NixOS/nixpkgs/issues/166205. |