updates CLI to support core selection

src/CLIParser.cpp

@@ -83,6 +83,8 @@ void CLIParser::build() {
                     "enable gdb server and specify port to use")
             ("backend", po::value<std::string>()->default_value("interp"),
                     "the ISS backend to use, options are: interp, tcc")
+            ("isa", po::value<std::string>()->default_value("tgc5c"),
+                    "core or isa name to use for simulation, use '?' to get list")
             ("dump-ir",
                     "dump the intermediate representation")
 			("dump-structure", po::value<std::string>(),

src/sc_main.cpp

@@ -97,6 +97,7 @@ int sc_main(int argc, char *argv[]) {
     cfg.set_value(core_path + ".gdb_server_port", parser.get<unsigned short>("gdb-port"));
     cfg.set_value(core_path + ".dump_ir", parser.is_set("dump-ir"));
     cfg.set_value(core_path + ".backend", parser.get<std::string>("backend"));
+    cfg.set_value(core_path + ".core_type", parser.get<std::string>("isa"));
     if(parser.is_set("plugin")){
         auto plugins = util::join(parser.get<std::vector<std::string>>("plugin"),",");
         cfg.set_value(core_path + ".plugins", plugins);