Added update_repositories command line argument to refresh git repositories. And added recipe for Criterion.

This commit is contained in:
2023-08-05 18:01:31 +02:00
parent acffaa9928
commit 1988bcc99b
3 changed files with 53 additions and 2 deletions

View File

@@ -140,12 +140,19 @@ AddOption(
default = 'auto'
)
AddOption(
'--update_repositories',
dest = 'update_repositories',
action = 'store_true'
)
build_type = GetOption('build_type')
unity_mode = GetOption('unity_mode')
variant = GetOption('variant')
enable_asan = GetOption('enable_asan')
config_file = GetOption('config_file')
compiler = GetOption('compiler')
update_repositories = GetOption('update_repositories')
default_CC = {
'gcc': 'gcc',
@@ -170,6 +177,7 @@ env = Environment(tools = ['default', 'compilation_db', 'unity_build'], variable
env['RECIPES_FOLDERS'] = [Dir('recipes')]
env['SYSTEM_CACHE_DIR'] = os.path.join(_find_system_cache_dir(), 'spp_cache')
env['CLONE_DIR'] = os.path.join(env['SYSTEM_CACHE_DIR'], 'cloned')
env['UPDATE_REPOSITORIES'] = update_repositories
print(f'Detected system cache directory: {env["SYSTEM_CACHE_DIR"]}')
try: