lean4: clean up colliding files

2023-12-26 16:13:31 -05:00
parent 6df37dc6a7
commit b3a184a4aa
1 changed files with 1 additions and 0 deletions
@@ -46,6 +46,7 @@ stdenv.mkDerivation rec {

  cmakeFlags = [
    "-DUSE_GITHASH=OFF"
+    "-DINSTALL_LICENSE=OFF"
  ];

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