diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-07-11 09:58:00 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-07-11 09:58:00 -0700 |
| commit | 237d8651a5b91bf4fa1de69d0930fdcbba049e40 (patch) | |
| tree | 9106e769d799e483211a96366390c63415b33115 /passes/techmap | |
| parent | 0c3ed73dade2488d0add1a3e6e82b148171f2d66 (diff) | |
| download | yosys-237d8651a5b91bf4fa1de69d0930fdcbba049e40.tar.gz yosys-237d8651a5b91bf4fa1de69d0930fdcbba049e40.tar.bz2 yosys-237d8651a5b91bf4fa1de69d0930fdcbba049e40.zip | |
Error out if abc9 not called with -lut or -luts
Diffstat (limited to 'passes/techmap')
| -rw-r--r-- | passes/techmap/abc9.cc | 3 |
1 files changed, 3 insertions, 0 deletions
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")) |