From 2471b7dfe33a48f0aeaaa6fe8271c145dd6d5dbb Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 28 May 2021 13:34:29 +0200
Subject: [PATCH] update build-all script for fork support for all projects
---
build-all | 25 ++++++++++++++-----------
1 file changed, 14 insertions(+), 11 deletions(-)
diff --git a/build-all b/build-all
index 23807e55f..7b7c8449b 100755
--- a/build-all
+++ b/build-all
@@ -18,6 +18,8 @@ def preprocess_repo_rev(var, project):
os.environ[var+"_REV"] = rev
preprocess_repo_rev('STDPP', 'stdpp')
preprocess_repo_rev('IRIS', 'iris')
+preprocess_repo_rev('ORC11', 'orc11')
+preprocess_repo_rev('GPFSL', 'gpfsl')
# Check if everything is set
if not "GITLAB_TOKEN" in os.environ:
@@ -31,17 +33,18 @@ if not "IRIS_REV" in os.environ:
sys.exit(1)
GITLAB_TOKEN = os.environ["GITLAB_TOKEN"]
+VARS = ['STDPP_REPO', 'STDPP_REV', 'IRIS_REPO', 'IRIS_REV', 'ORC11_REPO', 'ORC11_REV', 'GPFSL_REPO', 'GPFSL_REV']
PROJECTS = [
- { 'name': 'lambda-rust', 'branch': 'master', 'vars': ['STDPP_REV', 'IRIS_REV'] },
- { 'name': 'lambda-rust', 'branch': 'masters/weak_mem', 'vars': ['STDPP_REV', 'IRIS_REV', 'ORC11_REV', 'GPFSL_REV'] }, # covers GPFSL and ORC11
- { 'name': 'examples', 'branch': 'master', 'vars': ['STDPP_REPO', 'STDPP_REV', 'IRIS_REPO', 'IRIS_REV'] },
- { 'name': 'iron', 'branch': 'master', 'vars': ['STDPP_REV', 'IRIS_REV'] },
- { 'name': 'reloc', 'branch': 'master', 'vars': ['STDPP_REV', 'IRIS_REV'] },
- { 'name': 'spygame', 'branch': 'master', 'vars': ['STDPP_REV', 'IRIS_REV'] },
- { 'name': 'time-credits', 'branch': 'master', 'vars': ['STDPP_REV', 'IRIS_REV'] },
- { 'name': 'actris', 'branch': 'master', 'vars': ['STDPP_REV', 'IRIS_REV'] },
- { 'name': 'tutorial-popl20', 'branch': 'master', 'vars': ['STDPP_REV', 'IRIS_REV'] },
- { 'name': 'tutorial-popl21', 'branch': 'master', 'vars': ['STDPP_REV', 'IRIS_REV'] },
+ { 'name': 'lambda-rust', 'branch': 'master' },
+ { 'name': 'lambda-rust', 'branch': 'masters/weak_mem' }, # covers GPFSL and ORC11
+ { 'name': 'examples', 'branch': 'master' },
+ { 'name': 'iron', 'branch': 'master' },
+ { 'name': 'reloc', 'branch': 'master' },
+ { 'name': 'spygame', 'branch': 'master' },
+ { 'name': 'time-credits', 'branch': 'master' },
+ { 'name': 'actris', 'branch': 'master' },
+ { 'name': 'tutorial-popl20', 'branch': 'master' },
+ { 'name': 'tutorial-popl21', 'branch': 'master' },
]
filter = sys.argv[1] if len(sys.argv) > 1 else ''
@@ -53,7 +56,7 @@ for project in PROJECTS:
url = "https://gitlab.mpi-sws.org/api/v4/projects/{}/pipeline".format(id)
json = {
'ref': project['branch'],
- 'variables': [{ 'key': var, 'value': os.environ[var] } for var in project['vars'] if var in os.environ],
+ 'variables': [{ 'key': var, 'value': os.environ[var] } for var in VARS if var in os.environ],
}
r = requests.post(url, headers={'PRIVATE-TOKEN': GITLAB_TOKEN}, json=json)
r.raise_for_status()
--
GitLab