fix Time lib

hhu-adam · Feb 29, 2024 · 5882ac4 · 5882ac4
1 parent a771d43
commit 5882ac4
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/lakefile.lean b/lakefile.lean
@@ -26,8 +26,9 @@ lean_lib I18n where
 --   -- Remove this line if you do not need such functionality.
 --   supportInterpreter := false
 
+-- temporary replacement for `datetime` package.
 lean_lib Time where
-  -- add library configuration options here
+  srcDir := "." / "time"
 
 target time.o pkg : FilePath := do
   let oFile := pkg.buildDir / "c" / "time.o"