Verbose reading of liberty and constr files in ABC pass

diff --git a/passes/abc/abc.cc b/passes/abc/abc.cc
index bd0d983acddc19bf676bdc38831855199dc3f75d..2829e660f8c59046bb99944c4b136dc4a331e47a 100644 (file)
--- a/passes/abc/abc.cc
+++ b/passes/abc/abc.cc
@@ -625,10 +625,10 @@ static void abc_module(RTLIL::Design *design, RTLIL::Module *current_module, std
 
                std::string buffer;
                if (!liberty_file.empty()) {
-                       buffer += stringf("%s -s -c 'read_blif %s/input.blif; read_lib %s; ",
+                       buffer += stringf("%s -s -c 'read_blif %s/input.blif; read_lib -w %s; ",
                                        exe_file.c_str(), tempdir_name, liberty_file.c_str());
                        if (!constr_file.empty())
-                               buffer += stringf("read_constr %s; ", constr_file.c_str());
+                               buffer += stringf("read_constr -v %s; ", constr_file.c_str());
                        buffer += abc_command + "; ";
                } else
                if (lut_mode)