angr / angr-dev

Some helper scripts to set up an environment for angr development.

BSD 2-Clause "Simplified" License

114 stars 94 forks source link

Editable build in strict mode (#187) prevents git updates and breaks angr management plugins #188

Open ltfish opened 5 months ago

ltfish commented 5 months ago

Description

187 installs angr management (and other angr libraries) in strict mode for editable build, which leads to two problems:

git pull each repo no longer updates the installed libraries because each installed dependency package is copied to .build directories (e.g., you'll see angr exist under angr-management/.build/angr, and it's the version that's used by the installed angr management).
angr management can no longer list default installed plugins.

Any of the following solutions will work for me:

Switch back to the non-strict mode of editable build.
Make strict mode optional in extremely-simple-setup.sh.
Fix these problems in strict mode.

Steps to reproduce the bug

No response

Environment

No response

Additional context

No response

twizmwazin commented 5 months ago

I am having a hard time to produce this. Regarding git pull, on my machine it isn't copying anything, it is instead creating a symlink in the build directory back to the source file. git pull should work in this case, and you would just need to re-pip-install if the file structure is changed. Regarding, angr management plugins, I also couldn't reproduce, but I did see that plugin tomls were not being packaged correctly, let me know if https://github.com/angr/angr-management/pull/1211 improves on this issue.