a problem coming out when I use the command ~/fiber$ ./setup_angr_env.sh [dir_name] [venv_name]
Closed this issue · 2 comments
when I use the command ~/fiber$ ./setup_angr_env.sh [dir_name] [venv_name], it indicates that the installing claripy requires angr-only-z3-custom. However, when visiting pypi.org/simple/angr-only-z3-custom, it gets a 404 error. I visit pypi.org/simple and cannot find angr-only-z3-custom, but angr-z3 instead. Could you please tell me what I should do to successfully set up? Thank you.
Hi,
Thanks for pointing this out! It seems that pypi has removed the old package "angr-only-z3-custom" that is used by the specific version of claripy in fiber. I'm not sure about the reason behind this removal. To fix this I changed the package dependency of claripy in fiber:
It should work now, you can try to remove and re-install fiber. Let me know if there are still issues. Thanks!
It works. Thanks!