chore: don't build wip files

the1lab · Dec 14, 2023 · 2c82986 · 2c82986
1 parent 782088c
commit 2c82986
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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.