Skip to content
Snippets Groups Projects

Support new Gaudi CMake

Merged Marco Clemencic requested to merge support-new-gaudi-cmake into master
1 file
+ 30
7
Compare changes
  • Side-by-side
  • Inline
@@ -467,10 +467,30 @@ class Script(PlainScript):
parser.add_option(
'--no-git',
action='store_true',
help='do not extract ".git" directories from tarfiles',
default=False)
help='do not extract ".git" directories from tarfiles')
parser.add_option(
'--with-git',
action='store_false',
dest='no_git',
help='do extract ".git" directories from tarfiles')
parser.add_option(
'--no-build-dir',
action='store_true',
help='do not extract "build" directories from (binary) tarfiles')
parser.add_option(
'--with-build-dir',
action='store_false',
dest='no_build_dir',
help='do extract "build" directories from (binary) tarfiles')
parser.set_defaults(artifacts_root=ARTIFACTS_URL, flavour='nightly')
parser.set_defaults(
artifacts_root=ARTIFACTS_URL,
flavour='nightly',
no_git=False,
no_build_dir=True)
def main(self):
# split the 'comma-separated list' options
@@ -577,11 +597,14 @@ class Script(PlainScript):
index_installed = False
for f in required_files:
exclude_list = []
if opts.no_git:
exclude_list.append('*/.git/*')
if opts.no_build_dir:
exclude_list.append('*/build/*')
if install(
url + '/' + f,
dest,
exclude=['*/.git/*']
if opts.no_git else None): # 0 or None mean success
url + '/' + f, dest,
exclude=exclude_list): # 0 or None mean success
raise RuntimeError('error installing %s' % f)
installed[f] = datetime.now().isoformat()
# record what has been installed so far
Loading