fix again?

hhu-adam · Feb 29, 2024 · c5b84fe · c5b84fe
1 parent 5882ac4
commit c5b84fe
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lakefile.lean b/lakefile.lean
@@ -29,6 +29,7 @@ lean_lib I18n where
 -- temporary replacement for `datetime` package.
 lean_lib Time where
   srcDir := "." / "time"
+  precompileModules := true
 
 target time.o pkg : FilePath := do
   let oFile := pkg.buildDir / "c" / "time.o"