Add version option to diff.py (#1037)

This commit is contained in:
Marijn van der Werf 2023-04-29 14:48:27 +02:00 committed by GitHub
parent c8548d5002
commit a1918c3328
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,11 +1,21 @@
#!/usr/bin/env python3
import argparse
def add_custom_arguments(parser: argparse.ArgumentParser):
parser.add_argument("--version", default="current")
def apply(config, args):
ver_dir = 'ver/current/'
config['baseimg'] = f'{ver_dir}baserom.z64'
config['myimg'] = f'{ver_dir}build/papermario.z64'
config['mapfile'] = f'{ver_dir}build/papermario.map'
config['source_directories'] = ['src', f'{ver_dir}asm', 'include', f'{ver_dir}assets']
config['make_command'] = ['ninja']
config['objdump_flags'] = ['-M','reg-names=32']
config['expected_dir'] = f'{ver_dir}/expected/'
ver_dir = f"ver/{args.version}/"
config["baseimg"] = f"{ver_dir}baserom.z64"
config["myimg"] = f"{ver_dir}build/papermario.z64"
config["mapfile"] = f"{ver_dir}build/papermario.map"
config["source_directories"] = [
"src",
f"{ver_dir}asm",
"include",
f"{ver_dir}assets",
]
config["make_command"] = ["ninja"]
config["objdump_flags"] = ["-M", "reg-names=32"]
config["expected_dir"] = f"{ver_dir}/expected/"