running Lean Game Server locally

Stream: general

[Chris Henson]

I am following these instructions for "Manual installation". I get the following error messages:

Terminal Output

chenson@pop-os:~/game/lean4game$ nvm --version
0.39.2
chenson@pop-os:~/game/lean4game$ node --version
v24.1.0
chenson@pop-os:~/game/lean4game$ npm --version
11.3.0
chenson@pop-os:~/game/lean4game$ npm start

> lean4-game@0.1.0 start
> concurrently -n server,client -c blue,green "npm run start_server" "npm run start_client"

[server]
[server] > lean4-game@0.1.0 start_server
[server] > (cd server && lake build) && (cd relay && cross-env NODE_ENV=development nodemon -e mjs --exec "node ./index.mjs")
[server]
[client]
[client] > lean4-game@0.1.0 start_client
[client] > cross-env NODE_ENV=development vite --host
[client]
[client]
[client]   VITE v6.2.0  ready in 221 ms
[client]
[client]   ➜  Local:   http://localhost:3000/
[client]   ➜  Network: http://192.168.0.7:3000/
[client] [vite-plugin-static-copy] Collected 7 items.
[server] [nodemon] 3.0.3
[server] [nodemon] to restart at any time, enter `rs`
[server] [nodemon] watching path(s): *.*
[server] [nodemon] watching extensions: mjs
[server] [nodemon] starting `node ./index.mjs`
[server] node:internal/modules/cjs/loader:1408
[server]   throw err;
[server]   ^
[server]
[server] Error: Cannot find module '/home/chenson/game/lean4game/relay/index.mjs'
[server]     at Module._resolveFilename (node:internal/modules/cjs/loader:1405:15)
[server]     at defaultResolveImpl (node:internal/modules/cjs/loader:1061:19)
[server]     at resolveForCJSWithHooks (node:internal/modules/cjs/loader:1066:22)
[server]     at Module._load (node:internal/modules/cjs/loader:1215:37)
[server]     at TracingChannel.traceSync (node:diagnostics_channel:322:14)
[server]     at wrapModuleLoad (node:internal/modules/cjs/loader:235:24)
[server]     at Module.executeUserEntryPoint [as runMain] (node:internal/modules/run_main:152:5)
[server]     at node:internal/main/run_main_module:33:47 {
[server]   code: 'MODULE_NOT_FOUND',
[server]   requireStack: []
[server] }
[server]
[server] Node.js v24.1.0
[server] [nodemon] app crashed - waiting for file changes before starting...
[client] 5:55:06 AM [vite] http proxy error: /data/g/local/GameSkeleton/game.json
[client] AggregateError [ECONNREFUSED]:
[client]     at internalConnectMultiple (node:net:1139:18)
[client]     at afterConnectMultiple (node:net:1714:7)
[client] 5:55:06 AM [vite] http proxy error: /data/g/local/GameSkeleton/inventory.json
[client] AggregateError [ECONNREFUSED]:
[client]     at internalConnectMultiple (node:net:1139:18)
[client]     at afterConnectMultiple (node:net:1714:7)
[client] 5:55:06 AM [vite] http proxy error: /i18n/g/local/GameSkeleton/en/Game.json
[client] AggregateError [ECONNREFUSED]:
[client]     at internalConnectMultiple (node:net:1139:18)
[client]     at afterConnectMultiple (node:net:1714:7)
[client] 5:55:07 AM [vite] http proxy error: /i18n/g/local/GameSkeleton/en/Game.json
[client] AggregateError [ECONNREFUSED]:
[client]     at internalConnectMultiple (node:net:1139:18)
[client]     at afterConnectMultiple (node:net:1714:7)
[client] 5:55:08 AM [vite] http proxy error: /i18n/g/local/GameSkeleton/en/Game.json
[client] AggregateError [ECONNREFUSED]:
[client]     at internalConnectMultiple (node:net:1139:18)
[client]     at afterConnectMultiple (node:net:1714:7)
[client] 5:55:09 AM [vite] http proxy error: /i18n/g/local/GameSkeleton/en/Game.json
[client] AggregateError [ECONNREFUSED]:
[client]     at internalConnectMultiple (node:net:1139:18)
[client]     at afterConnectMultiple (node:net:1714:7)
[client] 5:55:12 AM [vite] http proxy error: /i18n/g/local/GameSkeleton/en/Game.json
[client] AggregateError [ECONNREFUSED]:
[client]     at internalConnectMultiple (node:net:1139:18)
[client]     at afterConnectMultiple (node:net:1714:7)
[client] 5:55:18 AM [vite] http proxy error: /i18n/g/local/GameSkeleton/en/Game.json
[client] AggregateError [ECONNREFUSED]:
[client]     at internalConnectMultiple (node:net:1139:18)
[client]     at afterConnectMultiple (node:net:1714:7)

Up until "app crashed" is from initially running npm start, the proxy errors when opening http://localhost:3000/#/g/local/GameSkeleton. Any suggestions for troubleshooting?

[Alexander Bentkamp]

@Matvey Lorkish

[Matvey Lorkish]

Hello, sorry that it took a while! There is a minor mistake in one of the build scripts. I just need to test the fix and will update the repository accordingly. Afterwards, the setup as stated in the documentation should work as expected.

[Matvey Lorkish]

The fix has been pushed to the main branch and can be pulled into your local repository! You can now build the server locally as described in the instructions.