diff options
author | Miodrag Milanovic <mmicko@gmail.com> | 2019-06-15 15:35:23 +0200 |
---|---|---|
committer | Miodrag Milanovic <mmicko@gmail.com> | 2019-06-15 15:35:23 +0200 |
commit | ff257a092930492a1260cf0c1f79d76c3d098612 (patch) | |
tree | b63fc967656b1c44e0b374426d294232b1c0eb08 /common | |
parent | 226885a58f67d81fb05e13bde91be8b654479210 (diff) | |
download | nextpnr-ff257a092930492a1260cf0c1f79d76c3d098612.tar.gz nextpnr-ff257a092930492a1260cf0c1f79d76c3d098612.tar.bz2 nextpnr-ff257a092930492a1260cf0c1f79d76c3d098612.zip |
default placement only if not set
Diffstat (limited to 'common')
-rw-r--r-- | common/command.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/common/command.cc b/common/command.cc index 09e75fdf..dc98d032 100644 --- a/common/command.cc +++ b/common/command.cc @@ -209,8 +209,6 @@ void CommandHandler::setupContext(Context *ctx) log_error("Placer algorithm '%s' is not supported (available options: %s)\n", placer.c_str(), boost::algorithm::join(Arch::availablePlacers, ", ").c_str()); ctx->settings[ctx->id("placer")] = placer; - } else { - ctx->settings[ctx->id("placer")] = Arch::defaultPlacer; } if (vm.count("cstrweight")) { @@ -241,7 +239,9 @@ void CommandHandler::setupContext(Context *ctx) ctx->settings[ctx->id("slack_redist_iter")] = "0"; if (ctx->settings.find(ctx->id("auto_freq")) == ctx->settings.end()) ctx->settings[ctx->id("auto_freq")] = std::to_string(false); - + if (ctx->settings.find(ctx->id("placer")) == ctx->settings.end()) + ctx->settings[ctx->id("placer")] = Arch::defaultPlacer; + ctx->settings[ctx->id("arch.name")] = std::string(ctx->archId().c_str(ctx)); ctx->settings[ctx->id("arch.type")] = std::string(ctx->archArgsToId(ctx->archArgs()).c_str(ctx)); ctx->settings[ctx->id("seed")] = std::to_string(ctx->rngstate); |