Skip to content

lake puts relative paths in LD_LIBRARY_PATH #4042

@eric-wieser

Description

@eric-wieser

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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    LakeLake related issueP-highWe will work on this issuebugSomething isn't working

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions