diff --git a/lakefile.lean b/lakefile.lean
index 9bce0d3..ca15da3 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -2,6 +2,7 @@ import Lake
 open Lake DSL
 
 package «subverso» where
+  precompileModules := true
   -- add package configuration options here
 
 lean_lib SubVersoCompat where