Set platformIndependent = true in lakefile

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