diff options
Diffstat (limited to 'common/command.cc')
| -rw-r--r-- | common/command.cc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/common/command.cc b/common/command.cc index a7a19989..3dc0d968 100644 --- a/common/command.cc +++ b/common/command.cc @@ -123,6 +123,7 @@ po::options_description CommandHandler::getGeneralOptions() #endif general.add_options()("json", po::value<std::string>(), "JSON design file to ingest"); general.add_options()("write", po::value<std::string>(), "JSON design file to write"); + general.add_options()("top", po::value<std::string>(), "name of top module"); general.add_options()("seed", po::value<int>(), "seed value for random number generator"); general.add_options()("randomize-seed,r", "randomize seed value for random number generator"); @@ -277,6 +278,10 @@ int CommandHandler::executeMain(std::unique_ptr<Context> ctx) return 0; } + if (vm.count("top")) { + ctx->settings[ctx->id("frontend/top")] = vm["top"].as<std::string>(); + } + #ifndef NO_GUI if (vm.count("gui")) { Application a(argc, argv, (vm.count("gui-no-aa") > 0)); |