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 +}