wip

IntersectMBO · Nov 4, 2024 · 7992922 · 7992922
1 parent 67848ae
commit 7992922
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/nix/agda.nix b/nix/agda.nix
@@ -88,6 +88,7 @@ rec {
   # - manually compile the executable (fortunately it has no extra dependencies!)
   #   and do the compilation at the end of the library derivation.
   agda-project-module-patch = {
+    packages.Agda.doHaddock = false;
     packages.Agda.package.buildType = lib.mkForce "Simple";
     packages.Agda.components.library.enableSeparateDataOutput = lib.mkForce true;
     packages.Agda.components.library.postInstall = ''