Prepare lakefile for release builds

marcusrossel · Jan 21, 2025 · a54cbbf · a54cbbf
1 parent a586251
commit a54cbbf
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/lakefile.lean b/lakefile.lean
@@ -7,6 +7,10 @@ require "nomeata" / "calcify" @ git "master"
 
 package egg where
   srcDir := "Lean"
+  -- See https://github.com/leanprover/lean4/tree/master/src/lake#github-release-builds
+  preferReleaseBuild := true
+  releaseRepo?       := none
+  buildArchive?      := none
 
 @[default_target]
 lean_lib Egg where