Is there option for static link all libraries?

Stream: lean4

[Alissa Tung]

Hello, I am trying to find some options to make Lean 4 link all libraries statically. which would includes:

1. for all binaries by lake build, lake exe, and something else, would produce compiled modules or compiled executables, statically linked to all foreign libraries which would commonly lookup from system search path (libc, gmp, libuv, ...)
2. for building Lean 4 itself, statically link itself

[Eric Wieser]

The problem with statically linking everything is that to use it with precompileModules, you have to link a new lean binary for every set of imports