From a27f24a6e4b7e89da02970d59e016eb5af48c367 Mon Sep 17 00:00:00 2001
From: Wojciech Nawrocki <wjnawrocki@protonmail.com>
Date: Wed, 8 Nov 2023 11:53:36 -0500
Subject: [PATCH] build: force build directory

---
 lakefile.lean | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lakefile.lean b/lakefile.lean
index 7d59fdb..9b590ae 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -3,6 +3,7 @@ open Lake DSL System
 
 package proofwidgets {
   preferReleaseBuild := true
+  buildDir := "build"
 }
 
 lean_lib ProofWidgets {}