Crash_Override/OVMS3-idf
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

tools/idf.py: add --gdbinit argument to gdb, gdbgui, gdbtui

Browse source 
Allows starting a debugging session with a custom set of init commands
This commit is contained in:
Ivan Grokhotkov 2020-04-15 19:02:14 +02:00
parent 4d53c137e6
commit 7dad294061
1 changed files with 18 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

29
tools/idf_py_actions/debug_ext.py
View file

@ -185,15 +185,16 @@ def action_extensions(base_actions, project_path):
processes["openocd_outfile_name"] = openocd_out_name processes["openocd_outfile_name"] = openocd_out_name
print("OpenOCD started as a background task {}".format(process.pid)) print("OpenOCD started as a background task {}".format(process.pid))
def gdbui(action, ctx, args, gdbgui_port, require_openocd): def gdbui(action, ctx, args, gdbgui_port, gdbinit, require_openocd):
""" """
Asynchronous GDB-UI target Asynchronous GDB-UI target
""" """
project_desc = get_project_desc(args, ctx) project_desc = get_project_desc(args, ctx)
local_dir = project_desc["build_dir"] local_dir = project_desc["build_dir"]
gdb = project_desc["monitor_toolprefix"] + "gdb" gdb = project_desc["monitor_toolprefix"] + "gdb"
gdbinit = os.path.join(local_dir, 'gdbinit') if gdbinit is None:
create_local_gdbinit(gdbinit, os.path.join(args.build_dir, project_desc["app_elf"])) gdbinit = os.path.join(local_dir, 'gdbinit')
create_local_gdbinit(gdbinit, os.path.join(args.build_dir, project_desc["app_elf"]))
args = ["gdbgui", "-g", gdb, '--gdb-args="-x={}"'.format(gdbinit)] args = ["gdbgui", "-g", gdb, '--gdb-args="-x={}"'.format(gdbinit)]
if gdbgui_port is not None: if gdbgui_port is not None:
args += ["--port", gdbgui_port] args += ["--port", gdbgui_port]
@ -242,13 +243,13 @@ def action_extensions(base_actions, project_path):
processes["gdb"] = p processes["gdb"] = p
return p.wait() return p.wait()
def gdbtui(action, ctx, args, require_openocd): def gdbtui(action, ctx, args, gdbinit, require_openocd):
""" """
Synchronous GDB target with text ui mode Synchronous GDB target with text ui mode
""" """
gdb(action, ctx, args, 1, require_openocd) gdb(action, ctx, args, 1, gdbinit, require_openocd)
def gdb(action, ctx, args, gdb_tui, require_openocd): def gdb(action, ctx, args, gdb_tui, gdbinit, require_openocd):
""" """
Synchronous GDB target Synchronous GDB target
""" """
@ -266,8 +267,9 @@ def action_extensions(base_actions, project_path):
raise FatalError("ELF file not found. You need to build & flash the project before running debug targets", ctx) raise FatalError("ELF file not found. You need to build & flash the project before running debug targets", ctx)
gdb = project_desc["monitor_toolprefix"] + "gdb" gdb = project_desc["monitor_toolprefix"] + "gdb"
local_dir = project_desc["build_dir"] local_dir = project_desc["build_dir"]
gdbinit = os.path.join(local_dir, 'gdbinit') if gdbinit is None:
create_local_gdbinit(gdbinit, elf_file) gdbinit = os.path.join(local_dir, 'gdbinit')
create_local_gdbinit(gdbinit, elf_file)
args = [gdb, '-x={}'.format(gdbinit)] args = [gdb, '-x={}'.format(gdbinit)]
if gdb_tui is not None: if gdb_tui is not None:
args += ['-tui'] args += ['-tui']
@ -291,6 +293,11 @@ def action_extensions(base_actions, project_path):
"is_flag": True, "is_flag": True,
"default": False, "default": False,
} }
gdbinit = {
"names": ["--gdbinit"],
"help": ("Specify the name of gdbinit file to use\n"),
"default": None,
}
debug_actions = { debug_actions = {
"global_action_callbacks": [global_callback], "global_action_callbacks": [global_callback],
"actions": { "actions": {
@ -324,7 +331,7 @@ def action_extensions(base_actions, project_path):
("run gdb in TUI mode\n"), ("run gdb in TUI mode\n"),
"default": "default":
None, None,
}, fail_if_openocd_failed }, gdbinit, fail_if_openocd_failed
], ],
"order_dependencies": ["all", "flash"], "order_dependencies": ["all", "flash"],
}, },
@ -338,14 +345,14 @@ def action_extensions(base_actions, project_path):
("The port on which gdbgui will be hosted. Default: 5000\n"), ("The port on which gdbgui will be hosted. Default: 5000\n"),
"default": "default":
None, None,
}, fail_if_openocd_failed }, gdbinit, fail_if_openocd_failed
], ],
"order_dependencies": ["all", "flash"], "order_dependencies": ["all", "flash"],
}, },
"gdbtui": { "gdbtui": {
"callback": gdbtui, "callback": gdbtui,
"help": "GDB TUI mode.", "help": "GDB TUI mode.",
"options": [fail_if_openocd_failed], "options": [gdbinit, fail_if_openocd_failed],
"order_dependencies": ["all", "flash"], "order_dependencies": ["all", "flash"],
}, },
"post_debug": { "post_debug": {