Unverified Commit 1c0dab4a authored by Mario Rodas's avatar Mario Rodas Committed by GitHub
Browse files

Merge pull request #276940 from tejing1/cleanup-lean4 

lean4: clean up colliding files
parents 98e04ab1 b3a184a4

pkgs/applications/science/logic/lean4/default.nix

+1 −0
Original line number Diff line number Diff line
@@ -46,6 +46,7 @@ stdenv.mkDerivation rec { 


  cmakeFlags = [

    "-DUSE_GITHASH=OFF"

    "-DINSTALL_LICENSE=OFF"

  ];



  # Work around https://github.com/NixOS/nixpkgs/issues/166205.