fix skip-agda all

the1lab · Dec 21, 2024 · a1cef4c · a1cef4c
1 parent 6edef05
commit a1cef4c
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/support/shake/app/Main.hs b/support/shake/app/Main.hs
@@ -162,11 +162,11 @@ rules = do
     need and kicks off the above job to build them.
   -}
   phony "all" do
+    skipAgda <- getSkipAgda
     agda <- getAllModules >>= \modules -> pure do
       (f, _) <- Map.toList modules
-      [ "_build/html" </> f <.> "html"
-        , "_build/html/types" </> f <.> "json"
-        ]
+      [ "_build/html" </> f <.> "html" ] <>
+        [ "_build/html/types" </> f <.> "json" | not skipAgda ]
     static <- getDirectoryFiles "support/static/" ["**/*"] >>= \files ->
       pure ["_build/html/static" </> f | f <- files]
     need $