Can `lake` read lean packages from environment variables?

Stream: lean4

[Leni Aniva]

Suppose I have project Mystery, who's source code tree root is in $LEAN_SRC_PATH, and whose compiled tree .lake/build is in $LEAN_PATH. Is there a way to make lake read project Mystery during lake build/env/test/...?

The current behaviour of lake is that lake env print_env LEAN_PATH does not inherit the $LEAN_PATH set in the environment for lake, and therefore lake will not recognize any dependency other than the ones specified in lakefile.{lean,toml}.