Error out if abc9 not called with -lut or -luts

diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc
index 53b0b8bbef4651f667b904eccbeef5d33f91f57b..b9eb71cf1af8938eeaba1cdc8e157abe0e5041ab 100644 (file)
--- 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"))