From 6e436b174624750575eccf3bd76695e59e508c5a Mon Sep 17 00:00:00 2001 From: Diomidis Spinellis Date: Sun, 25 Feb 2024 19:30:42 +0200 Subject: [PATCH] Add CLI option to specify platform libraries The guessing of platform libraries depends on heuristics, which can fail, e.g. on Cygwin. Add a CLI option to specify libraries to use. --- src/cmake/make_update.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/cmake/make_update.py b/src/cmake/make_update.py index 1cb5d6446..0a4e99d31 100755 --- a/src/cmake/make_update.py +++ b/src/cmake/make_update.py @@ -28,6 +28,8 @@ def parse_arguments(): parser.add_argument("--no-cycles", action="store_true") parser.add_argument("--svn-command", default="svn") parser.add_argument("--git-command", default="git") + parser.add_argument("--libs-platform", type=str, + help="Comma-separated platform libraries; guessed by default") return parser.parse_args() @@ -43,7 +45,9 @@ def svn_update(args): svn_url = make_utils.svn_libraries_base_url() # Checkout precompiled libraries - if sys.platform == 'darwin': + if args.libs_platform: + libs_platform = args.libs_platform.split(',') + elif sys.platform == 'darwin': if platform.machine() == 'x86_64': libs_platform = ["darwin"] elif platform.machine() == 'arm64': -- 2.30.2