search

angr / angr-dev

Some helper scripts to set up an environment for angr development.
BSD 2-Clause "Simplified" License
114 stars 95 forks source link

Add libz3 and libstdc++ to LD_LIBRARY_PATH in shell.nix #178

Closed paulhdk closed 1 year ago

paulhdk commented 1 year ago

Hi!

I was running into issues with the provided shell.nix when importing angr in ipython.

libz3.so and libstc++.so.6 weren't being found. Adding them to LD_LIBRARY_PATH fixed the issue for me.

Not sure if this is worth merging since I haven't reproduced it on another system, but I still thought it would be interesting to share here nevertheless.

I know that the virtual environment also holds a libz3.so, but I wasn't sure how to reference the virtual environment path in the shell.nix if that's even possible. So, I'm using the Z3 provided by nixpkgs instead.

Many thanks, Paul

rhelmot commented 1 year ago

Looks good to me. Nobody on the core angr team is using nix right now, so I can't validate this, but if it works for you that's good enough for me :)