#!/usr/bin/env python3
#
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
#
# SPDX-License-Identifier: BSD-2-Clause
#

import subprocess
import sys
import argparse
import signal


def parse_args():
    parser = argparse.ArgumentParser()
    parser.add_argument('-b', '--binary', dest='gdb_binary', type=str,
                        help='GDB binary', default='@GDB_BINARY@')
    parser.add_argument('-f', '--file', dest='target_executable', type=str,
                        help='File to be passed to GDB', default='@QEMU_SIM_INITRD_FILE@')
    parser.add_argument('--extra-gdb-args', dest='extra_gdb_args', type=str,
                        help='Additional arguments to pass to gdb', default='')
    args = parser.parse_args()
    return args


if __name__ == "__main__":
    args = parse_args()

    gdb_command_opts = [args.gdb_binary, args.extra_gdb_args,
                        '-ex "target remote :1234"', args.target_executable]
    gdb_command = " ".join(gdb_command_opts)

    print(gdb_command)
    # Extra newline to make the command easier to see
    print("\n")

    # Ignore SIGINT/Ctrl-C here and forward it to the gdb instance
    signal.signal(signal.SIGINT, signal.SIG_IGN)

    subprocess.call(gdb_command, shell=True)