add precompile flag to build (#14)

johnchandlerburnham · web-flow · commit a5478a88f4e6 · 2025-03-25T19:08:40.000-04:00
diff --git a/lakefile.lean b/lakefile.lean
@@ -5,7 +5,8 @@ open Lake DSL
 package Blake3
 
 @[default_target]
-lean_lib Blake3
+lean_lib Blake3 where
+  precompileModules := true
 
 @[test_driver]
 lean_exe Blake3Test
