From: Eddie Hung <eddie@fpgeh.com>
Date: Tue, 16 Apr 2019 23:39:16 +0000 (-0700)
Subject: abc9 to output some more info
X-Git-Tag: working-ls180~1237^2~223
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ae2653c50f196a0480e715c609852218f7c57090;p=yosys.git

abc9 to output some more info
---

diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc
index b14eef485..e28e3e59a 100644
--- a/passes/techmap/abc9.cc
+++ b/passes/techmap/abc9.cc
@@ -343,7 +343,7 @@ void abc9_module(RTLIL::Design *design, RTLIL::Module *current_module, std::stri
 	else
 		abc_script += stringf("read_library %s/stdcells.genlib; ", tempdir_name.c_str());
 
-	abc_script += stringf("&read %s/input.xaig; &ps ", tempdir_name.c_str());
+	abc_script += stringf("&read %s/input.xaig; &ps; ", tempdir_name.c_str());
 
 	if (!script_file.empty()) {
 		if (script_file[0] == '+') {
@@ -388,6 +388,7 @@ void abc9_module(RTLIL::Design *design, RTLIL::Module *current_module, std::stri
 		abc_script = abc_script.substr(0, pos) + lutin_shared + abc_script.substr(pos+3);
 
 	abc_script += stringf("; &write %s/output.aig", tempdir_name.c_str());
+	abc_script += "; &ps -l -s";
 	abc_script = add_echos_to_abc_cmd(abc_script);
 
 	for (size_t i = 0; i+1 < abc_script.size(); i++)