diff options
author | Tim Newsome <tim@sifive.com> | 2016-03-09 17:16:26 -0800 |
---|---|---|
committer | Tim Newsome <tim@sifive.com> | 2016-05-23 12:12:09 -0700 |
commit | bd17c7e5a80c21b8b7dd6be8cd24a6f89dd63bf0 (patch) | |
tree | ea18ded8e52e3c50fa7ac9c0bf901f24575fd1f5 /spike_main | |
parent | 38b8c095df4555b618bd269e3a53817c91dc893d (diff) | |
download | spike-bd17c7e5a80c21b8b7dd6be8cd24a6f89dd63bf0.zip spike-bd17c7e5a80c21b8b7dd6be8cd24a6f89dd63bf0.tar.gz spike-bd17c7e5a80c21b8b7dd6be8cd24a6f89dd63bf0.tar.bz2 |
Add -H to start halted.
Diffstat (limited to 'spike_main')
-rw-r--r-- | spike_main/spike.cc | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/spike_main/spike.cc b/spike_main/spike.cc index b0a9a3e..8896bc7 100644 --- a/spike_main/spike.cc +++ b/spike_main/spike.cc @@ -10,7 +10,6 @@ #include <fesvr/option_parser.h> #include <stdio.h> #include <stdlib.h> -#include <getopt.h> #include <vector> #include <string> #include <memory> @@ -25,6 +24,7 @@ static void help() fprintf(stderr, " -g Track histogram of PCs\n"); fprintf(stderr, " -l Generate a log of execution\n"); fprintf(stderr, " -h Print this help message\n"); + fprintf(stderr, " -H Start halted, allowing a debugger to connect\n"); fprintf(stderr, " --isa=<name> RISC-V ISA string [default %s]\n", DEFAULT_ISA); fprintf(stderr, " --ic=<S>:<W>:<B> Instantiate a cache model with S sets,\n"); fprintf(stderr, " --dc=<S>:<W>:<B> W ways, and B-byte blocks (with S and\n"); @@ -38,6 +38,7 @@ static void help() int main(int argc, char** argv) { bool debug = false; + bool halted = false; bool histogram = false; bool log = false; bool dump_config_string = false; @@ -70,10 +71,12 @@ int main(int argc, char** argv) exit(-1); } }); + // I wanted to use --halted, but for some reason that doesn't work. + parser.option('H', 0, 0, [&](const char* s){halted = true;}); auto argv1 = parser.parse(argv); std::vector<std::string> htif_args(argv1, (const char*const*)argv + argc); - sim_t s(isa, nprocs, mem_mb, htif_args); + sim_t s(isa, nprocs, mem_mb, halted, htif_args); gdbserver_t gdbserver(9824, &s); s.set_gdbserver(&gdbserver); |