Add CLI option to specify platform libraries #10

Open
Diomidis Spinellis wants to merge 1 commits from DSpinellis/cycles:platform-arg into main

When changing the target branch, be careful to rebase the branch in your fork to match. See documentation.

View File

@ -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':