leanprover/lean4

lake puts relative paths in `LD_LIBRARY_PATH`

Opened this issue · 0 comments

eric-wieser commented

Prerequisites

  • Put an X between the brackets on this line if you have done all of the following:
    • Check that your issue is not already filed.
    • Reduce the issue to a minimal, self-contained, reproducible test case. Avoid dependencies to mathlib4 or std4.

Description

lake env foo runs foo in a context with various environment variables set. However, if foo changes the working directory internally, then these environment variables no longer work, as they are relative paths.

augmentedEnvVars should prepend the working directory to the relative paths it has obtain

Steps to Reproduce

  1. lake env env | grep LD_LIBRARY_PATH

Expected behavior: paths should be absolute

Actual behavior: paths are relative

Versions

4.7.0

Impact

Add 👍 to issues you consider important. If others are impacted by this issue, please ask them to add 👍 to it.