leanpkg build bin with dependencies

Stream: lean4

[Jason Gross]

What does it mean if I get a bunch of undefined reference errors from ld in leanpkg build bin? (https://github.com/mhuisi/lean4-cli/issues/6)

[Sebastian Ullrich]

See https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/dependencies/near/225033541