angr / angr/angr-management

Support a build metadata file to be displayed in the about dialog

Ouverte
#631 1 commentaire 0 réactions 0 personnes assignées Voir sur GitHub
enhancement
Langage dominant
Python
Étoiles
1.2k
Forks
131
Merge moyen
1 j 11 h
PR mergées (30 j)
14

Description

To aid in build debugging, it would be useful to include a metadata file that build pipelines could add information to that could later be displayed in the setup dialog.

Proposed implementation:
- Create a file at `angrmanagement.build_metadata` with default text "Custom git build". Add to gitignore so local changes in the future aren't tracked
- Ensure file is included in sdist/wheel and pyinstaller
- Edit about dialog to display the text, possibly hidden by default under a "Show build information" expanding box
- Update build pipelines to insert git information into this file during the build, including nightlies, angr release, and checrs (probably as a separate task from the first three bullets)

Guide de contribution

Aucun guide de contribution indexé pour ce dépôt

Évaluation

Cette issue n'a pas encore été évaluée.

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.