From: Eddie Hung Date: Thu, 11 Jul 2019 16:58:00 +0000 (-0700) Subject: Error out if abc9 not called with -lut or -luts X-Git-Tag: working-ls180~881^2^2~260 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=237d8651a5b91bf4fa1de69d0930fdcbba049e40;p=yosys.git Error out if abc9 not called with -lut or -luts --- diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc index 53b0b8bbe..b9eb71cf1 100644 --- a/passes/techmap/abc9.cc +++ b/passes/techmap/abc9.cc @@ -999,6 +999,9 @@ struct Abc9Pass : public Pass { } extra_args(args, argidx, design); + if (lut_costs.empty() && lut_file.empty()) + log_cmd_error("abc9 must be called with '-lut' or '-luts'\n"); + for (auto mod : design->selected_modules()) { if (mod->attributes.count("\\abc_box_id"))