From 926a013b10b0d7df34787bedca09c72963f17fdf Mon Sep 17 00:00:00 2001
From: Alexander Bentkamp <bentkamp@gmail.com>
Date: Wed, 22 Nov 2023 17:58:40 +0100
Subject: [PATCH] more

---
 server/.gitignore      |  2 ++
 server/lakefile32.lean | 15 +++++++++++++++
 2 files changed, 17 insertions(+)
 create mode 100644 server/lakefile32.lean

diff --git a/server/.gitignore b/server/.gitignore
index 103f95b..920cc59 100644
--- a/server/.gitignore
+++ b/server/.gitignore
@@ -1,3 +1,5 @@
 build
+build32
 adam
 nng
+lakefile32.olean
diff --git a/server/lakefile32.lean b/server/lakefile32.lean
new file mode 100644
index 0000000..da446ec
--- /dev/null
+++ b/server/lakefile32.lean
@@ -0,0 +1,15 @@
+import Lake
+open Lake DSL
+
+package GameServer {
+  buildDir := "build32"
+}
+
+@[default_target]
+lean_lib GameServer
+
+@[default_target]
+lean_exe gameserver {
+  root := `Main
+  supportInterpreter := true
+}