From 2c82986a0c913d8c06b59970dc6d1ea584ac32ff Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Na=C3=AFm=20Favier?= <n@monade.li>
Date: Thu, 14 Dec 2023 13:50:11 +0100
Subject: [PATCH] chore: don't build wip files

---
 support/shake/app/Shake/Modules.hs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/support/shake/app/Shake/Modules.hs b/support/shake/app/Shake/Modules.hs
index f8663e0d0..86596fa93 100644
--- a/support/shake/app/Shake/Modules.hs
+++ b/support/shake/app/Shake/Modules.hs
@@ -55,11 +55,13 @@ moduleRules :: Rules ()
 moduleRules = do
   _ <- addOracle \ModulesQ -> do
     let
+      notWip x = not ("wip//" ?== x)
+
       toOut x | takeExtensions x == ".lagda.md"
               = (moduleName (dropExtensions x), WithText)
       toOut x = (moduleName (dropExtensions x), CodeOnly)
 
-    ModulesA . Map.fromList . map toOut <$> getDirectoryFiles "src" ["**/*.agda", "**/*.lagda.md"]
+    ModulesA . Map.fromList . map toOut . filter notWip <$> getDirectoryFiles "src" ["**/*.agda", "**/*.lagda.md"]
   pure ()
 
 -- | Get all 1Lab modules.