You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
#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.
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 angr/angr-management#1211 improves on this issue.
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 seeangr
exist underangr-management/.build/angr
, and it's the version that's used by the installed angr management).Any of the following solutions will work for me:
Steps to reproduce the bug
No response
Environment
No response
Additional context
No response
The text was updated successfully, but these errors were encountered: