From 0958e08ea18288b8ed958c6f5c2efadbd8db9770 Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Mon, 10 Feb 2020 12:33:28 +0100
Subject: [PATCH] Added option --gitlab
---
ogscm/cli.py | 2 +-
ogscm/cli_args.py | 4 ++++
2 files changed, 5 insertions(+), 1 deletion(-)
diff --git a/ogscm/cli.py b/ogscm/cli.py
index 96ff23a..acc2501 100644
--- a/ogscm/cli.py
+++ b/ogscm/cli.py
@@ -255,7 +255,7 @@ def main(): # pragma: no cover
src='/usr/local/bin/mpi_*',
dest='/usr/local/bin/')
- if ogs_version != 'off' or args.jenkins:
+ if ogs_version != 'off' or args.jenkins or args.gitlab:
Stage0 += ogs_base()
if args.gui:
Stage0 += packages(ospackages=[
diff --git a/ogscm/cli_args.py b/ogscm/cli_args.py
index 54e99fb..129debc 100644
--- a/ogscm/cli_args.py
+++ b/ogscm/cli_args.py
@@ -149,6 +149,10 @@ class Cli_Args(argparse.ArgumentParser):
dest='jenkins',
action='store_true',
help='Setup Jenkins slave')
+ switches_g.add_argument('--gitlab',
+ dest='gitlab',
+ action='store_true',
+ help='Setup for GitLab-CI')
switches_g.add_argument('--cvode',
dest='cvode',
action='store_true',
--
GitLab