angr / angr/angr-dev

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

オープン
#188 コメント 1 件 リアクション 0 件 担当者 1 名 @twizmwazin が担当を希望しています GitHub で見る
bug
主要言語
Shell
スター
124
フォーク
101
PR マージ指標
30日以内にマージされた PR はありません

説明

### 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](https://github.com/angr/angr-dev/blob/master/extremely-simple-setup.sh).
- Fix these problems in strict mode.

### Steps to reproduce the bug

_No response_

### Environment

_No response_

### Additional context

_No response_

コントリビューションガイド

このリポジトリのコントリビューションガイドは索引されていません

評価

この issue はまだ評価されていません。

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。