Disable precompilation

leanprover-community · Jan 14, 2025 · 6990a81 · 6990a81
1 parent 5ae28c0
commit 6990a81
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lakefile.toml b/lakefile.toml
@@ -1,7 +1,7 @@
 name = "aesop"
 defaultTargets = ["Aesop"]
 testDriver = "AesopTest"
-precompileModules = true # We would like to turn this on, but it breaks the Mathlib cache.
+precompileModules = false # We would like to turn this on, but it breaks the Mathlib cache.
 
 [[require]]
 name = "batteries"