From b3a184a4aabf53ab3f408291a006b2e5835a4afa Mon Sep 17 00:00:00 2001
From: Jeff Huffman <tejing@tejing.com>
Date: Tue, 26 Dec 2023 11:31:24 -0500
Subject: [PATCH] lean4: clean up colliding files

---
 pkgs/applications/science/logic/lean4/default.nix | 1 +
 1 file changed, 1 insertion(+)

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.