diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-04-02 17:32:23 -0700 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-04-02 17:32:23 -0700 |
| commit | 10ae74e48aee7403bc3cb2540d1a7ccb7c69a211 (patch) | |
| tree | 0f055e3dcf026bffccad0964325574c69c6ab98d /spike_main | |
| parent | 94c7f5adbeecf8b69ca848893032eb18f7e4bd76 (diff) | |
| download | spike-10ae74e48aee7403bc3cb2540d1a7ccb7c69a211.zip spike-10ae74e48aee7403bc3cb2540d1a7ccb7c69a211.tar.gz spike-10ae74e48aee7403bc3cb2540d1a7ccb7c69a211.tar.bz2 | |
Allow configuration of default ISA with --with-isa
Diffstat (limited to 'spike_main')
| -rw-r--r-- | spike_main/spike.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/spike_main/spike.cc b/spike_main/spike.cc index 950b108..4f8f42d 100644 --- a/spike_main/spike.cc +++ b/spike_main/spike.cc @@ -23,7 +23,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, " --isa=<name> RISC-V ISA string [default RV64IMAFDC]\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"); fprintf(stderr, " --l2=<S>:<W>:<B> B both powers of 2).\n"); @@ -43,7 +43,7 @@ int main(int argc, char** argv) std::unique_ptr<dcache_sim_t> dc; std::unique_ptr<cache_sim_t> l2; std::function<extension_t*()> extension; - const char* isa = "RV64"; + const char* isa = DEFAULT_ISA; option_parser_t parser; parser.help(&help); |