build: force build directory

leanprover-community · Nov 8, 2023 · a27f24a · a27f24a
1 parent 8db9451
commit a27f24a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lakefile.lean b/lakefile.lean
@@ -3,6 +3,7 @@ open Lake DSL System
 
 package proofwidgets {
   preferReleaseBuild := true
+  buildDir := "build"
 }
 
 lean_lib ProofWidgets {}