diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-02-05 18:59:40 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-05 18:59:40 +0100 |
| commit | 0671ae7d79ead3f7c109ed41ea7ad5e5767f418a (patch) | |
| tree | eff88fad0d90d4a6fd92c6ebda512d5bc010dc2b /passes/techmap/abc9_exe.cc | |
| parent | 34d2fbd2f96a8789aa7eb655318308e11949eb7a (diff) | |
| parent | 21ce1b37fbc93562942c10f631c7f415f8fdba2e (diff) | |
| download | yosys-0671ae7d79ead3f7c109ed41ea7ad5e5767f418a.tar.gz yosys-0671ae7d79ead3f7c109ed41ea7ad5e5767f418a.tar.bz2 yosys-0671ae7d79ead3f7c109ed41ea7ad5e5767f418a.zip | |
Merge pull request #1661 from YosysHQ/eddie/abc9_required
abc9: add support for required times
Diffstat (limited to 'passes/techmap/abc9_exe.cc')
| -rw-r--r-- | passes/techmap/abc9_exe.cc | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/passes/techmap/abc9_exe.cc b/passes/techmap/abc9_exe.cc index 01bf46539..71221951c 100644 --- a/passes/techmap/abc9_exe.cc +++ b/passes/techmap/abc9_exe.cc @@ -510,9 +510,8 @@ struct Abc9ExePass : public Pass { } } - // ABC expects a box file for XAIG if (box_file.empty()) - box_file = "+/dummy.box"; + log_cmd_error("abc9_exe '-box' option is mandatory.\n"); rewrite_filename(box_file); if (!box_file.empty() && !is_absolute_path(box_file) && box_file[0] != '+') |