def server_info_query(self, tvm_version): return server.ServerInfo( platform_name="host", is_template=IS_TEMPLATE, model_library_format_path="" if IS_TEMPLATE else PROJECT_DIR / MODEL_LIBRARY_FORMAT_RELPATH, project_options=[ server.ProjectOption("verbose", help="Run make with verbose output") ], )
BOARD_PROPERTIES = json.load(boards) except FileNotFoundError: raise FileNotFoundError(f"Board file {{{BOARDS}}} does not exist.") class BoardAutodetectFailed(Exception): """Raised when no attached hardware is found matching the requested board""" PROJECT_TYPES = ["example_project", "host_driven"] PROJECT_OPTIONS = [ server.ProjectOption( "arduino_board", required=["build", "flash", "open_transport"], choices=list(BOARD_PROPERTIES), type="str", help="Name of the Arduino board to build for.", ), server.ProjectOption( "arduino_cli_cmd", required=(["generate_project", "build", "flash", "open_transport"] if not ARDUINO_CLI_CMD else None), optional=(["generate_project", "build", "flash", "open_transport"] if ARDUINO_CLI_CMD else None), default=ARDUINO_CLI_CMD, type="str", help="Path to the arduino-cli tool.", ), server.ProjectOption( "port",
return [] return ["--snr", boards[0]] PROJECT_TYPES = [] if IS_TEMPLATE: for d in (API_SERVER_DIR / "src").iterdir(): if d.is_dir(): PROJECT_TYPES.append(d.name) PROJECT_OPTIONS = [ server.ProjectOption( "extra_files_tar", optional=["generate_project"], type="str", help= "If given, during generate_project, uncompress the tarball at this path into the project dir.", ), server.ProjectOption( "gdbserver_port", help=( "If given, port number to use when running the local gdbserver."), optional=["open_transport"], type="int", ), server.ProjectOption( "nrfjprog_snr", optional=["open_transport"], type="int", help=
if not boards: return [] return ["--snr", boards[0]] PROJECT_TYPES = [] if IS_TEMPLATE: for d in (API_SERVER_DIR / "src").iterdir(): if d.is_dir(): PROJECT_TYPES.append(d.name) PROJECT_OPTIONS = [ server.ProjectOption( "extra_files", help="If given, during generate_project, uncompress the tarball at this path into the project dir", ), server.ProjectOption( "gdbserver_port", help=("If given, port number to use when running the local gdbserver") ), server.ProjectOption( "nrfjprog_snr", help=( "When used with nRF targets, serial # of the " "attached board to use, from nrfjprog" ), ), server.ProjectOption( "openocd_serial", help=("When used with OpenOCD targets, serial # of the " "attached board to use"), ), server.ProjectOption(
with open(BOARDS) as boards: BOARD_PROPERTIES = json.load(boards) except FileNotFoundError: raise FileNotFoundError(f"Board file {{{BOARDS}}} does not exist.") class BoardAutodetectFailed(Exception): """Raised when no attached hardware is found matching the requested board""" PROJECT_TYPES = ["example_project", "host_driven"] PROJECT_OPTIONS = [ server.ProjectOption( "arduino_board", choices=list(BOARD_PROPERTIES), help="Name of the Arduino board to build for", ), server.ProjectOption("arduino_cli_cmd", help="Path to the arduino-cli tool."), server.ProjectOption("port", help="Port to use for connecting to hardware"), server.ProjectOption( "project_type", help="Type of project to generate.", choices=tuple(PROJECT_TYPES), ), server.ProjectOption( "verbose", help="True to pass --verbose flag to arduino-cli compile and upload"), server.ProjectOption(
if not boards: return [] return ["--snr", boards[0]] PROJECT_TYPES = [] if IS_TEMPLATE: for d in (API_SERVER_DIR / "src").iterdir(): if d.is_dir(): PROJECT_TYPES.append(d.name) PROJECT_OPTIONS = [ server.ProjectOption( "extra_files_tar", help= "If given, during generate_project, uncompress the tarball at this path into the project dir.", ), server.ProjectOption( "gdbserver_port", help=( "If given, port number to use when running the local gdbserver.")), server.ProjectOption( "nrfjprog_snr", help= ("When used with nRF targets, serial # of the attached board to use, from nrfjprog." ), ), server.ProjectOption( "openocd_serial", help=
"model": "imxrt1060", }, "wioterminal": { "package": "Seeeduino", "architecture": "samd", "board": "seeed_wio_terminal", "model": "atsamd51", }, } PROJECT_TYPES = ["example_project", "host_driven"] PROJECT_OPTIONS = [ server.ProjectOption( "arduino_board", choices=list(BOARD_PROPERTIES), help="Name of the Arduino board to build for", ), server.ProjectOption( "arduino_model", choices=[board["model"] for _, board in BOARD_PROPERTIES.items()], help="Name of the model for each Arduino board.", ), server.ProjectOption("arduino_cli_cmd", help="Path to the arduino-cli tool."), server.ProjectOption("port", help="Port to use for connecting to hardware"), server.ProjectOption( "project_type", help="Type of project to generate.", choices=tuple(PROJECT_TYPES),