From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 9 Mar 2014 14:15:38 +0000 (+0100)
Subject: Verbose reading of liberty and constr files in ABC pass
X-Git-Tag: yosys-0.3.0~76
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=22aabe05c9dcb7a7f5c16988fc98a43e55b52beb;p=yosys.git

Verbose reading of liberty and constr files in ABC pass
---

diff --git a/passes/abc/abc.cc b/passes/abc/abc.cc
index bd0d983ac..2829e660f 100644
--- 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)