This script augments the current logic in install.sh to manage the repositories for dependencies. This basically mimics the previous interface where we could set the branch and remote for a repository, but now enhances local development with the ability to check out specific branches of dependent repositories.
For example, to locally checkout the dev branches for coreir/pycoreir, I can do
python scripts/repo_manager.py --coreir dev --pycoreir dev
The script handles initializing (cloning) repositories, checking out refs, and installation (so when you checkout a new ref, it recompiles/reinstalls the software).
Suggestions on how to improve the script interface/internals are welcome, but more importantly, does anyone object to migrating this logic to a Python script?
This script augments the current logic in
install.shto manage the repositories for dependencies. This basically mimics the previous interface where we could set the branch and remote for a repository, but now enhances local development with the ability to check out specific branches of dependent repositories.For example, to locally checkout the dev branches for coreir/pycoreir, I can do
The script handles initializing (cloning) repositories, checking out refs, and installation (so when you checkout a new ref, it recompiles/reinstalls the software).
Suggestions on how to improve the script interface/internals are welcome, but more importantly, does anyone object to migrating this logic to a Python script?