2018-07-20 04:11:41 -04:00
|
|
|
#!/usr/bin/env python3
|
|
|
|
|
|
|
|
import os
|
|
|
|
import sys
|
|
|
|
from collections import OrderedDict
|
|
|
|
|
|
|
|
|
|
|
|
current_path = os.path.dirname(os.path.realpath(__file__))
|
|
|
|
|
|
|
|
# name, (url, recursive clone, develop)
|
|
|
|
repos = [
|
2019-08-17 04:02:10 -04:00
|
|
|
("migen", ("https://github.com/m-labs/", True, True)),
|
|
|
|
("litex", ("https://github.com/enjoy-digital/", True, True)),
|
|
|
|
("liteeth", ("https://github.com/enjoy-digital/", False, True)),
|
|
|
|
("litedram", ("https://github.com/enjoy-digital/", False, True)),
|
|
|
|
("litepcie", ("https://github.com/enjoy-digital/", False, True)),
|
|
|
|
("litesata", ("https://github.com/enjoy-digital/", False, True)),
|
|
|
|
("litesdcard", ("https://github.com/enjoy-digital/", False, True)),
|
|
|
|
("liteiclink", ("https://github.com/enjoy-digital/", False, True)),
|
|
|
|
("litevideo", ("https://github.com/enjoy-digital/", False, True)),
|
|
|
|
("litescope", ("https://github.com/enjoy-digital/", False, True)),
|
2018-07-20 04:11:41 -04:00
|
|
|
]
|
|
|
|
repos = OrderedDict(repos)
|
|
|
|
|
|
|
|
if len(sys.argv) < 2:
|
|
|
|
print("Available commands:")
|
|
|
|
print("- init")
|
2019-04-23 08:53:00 -04:00
|
|
|
print("- install (add --user to install to user directory)")
|
2018-07-20 04:11:41 -04:00
|
|
|
print("- update")
|
|
|
|
exit()
|
|
|
|
|
|
|
|
if "init" in sys.argv[1:]:
|
|
|
|
for name in repos.keys():
|
|
|
|
url, need_recursive, need_develop = repos[name]
|
|
|
|
# clone repo (recursive if needed)
|
|
|
|
print("[cloning " + name + "]...")
|
|
|
|
full_url = url + name
|
|
|
|
opts = "--recursive" if need_recursive else ""
|
|
|
|
os.system("git clone " + full_url + " " + opts)
|
|
|
|
|
|
|
|
if "install" in sys.argv[1:]:
|
|
|
|
for name in repos.keys():
|
|
|
|
url, need_recursive, need_develop = repos[name]
|
|
|
|
# develop if needed
|
|
|
|
print("[installing " + name + "]...")
|
|
|
|
if need_develop:
|
|
|
|
os.chdir(os.path.join(current_path, name))
|
2019-04-23 08:53:00 -04:00
|
|
|
if "--user" in sys.argv[1:]:
|
|
|
|
os.system("python3 setup.py develop --user")
|
|
|
|
else:
|
|
|
|
os.system("python3 setup.py develop")
|
2018-07-20 04:11:41 -04:00
|
|
|
|
|
|
|
if "update" in sys.argv[1:]:
|
|
|
|
for name in repos.keys():
|
|
|
|
# update
|
|
|
|
print("[updating " + name + "]...")
|
|
|
|
os.chdir(os.path.join(current_path, name))
|
|
|
|
os.system("git pull")
|