Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Open
ltfish opened this issue Mar 14, 2024 · 1 comment
Assignees
Labels

Comments

@ltfish
Copy link
Member

ltfish commented Mar 14, 2024

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
Copy link
Member

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants