GaloisInc / mir-json

Plugin for rustc to dump MIR in JSON format
Apache License 2.0
9 stars 2 forks source link

Add a wrapper that sets the library path #20

Closed spernsteiner closed 4 years ago

spernsteiner commented 4 years ago

This renames every binary foo to foo_real, and adds a wrapper foo that sets $(DY)LD_LIBRARY_PATH appropriately before invoking foo_real. The library path is determined automatically by invoking rustc +nightly-2020-03-22 --print sysroot, so it should come up with the right path regardless of rustup install location.

Tested on Linux and macOS