From: Robert Ou <rqou@robertou.com>
Date: Fri, 11 Aug 2017 04:10:07 +0000 (-0700)
Subject: abc: Allow +/ filenames in the abc command
X-Git-Tag: yosys-0.8~347^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9a64ba3338280037215388ca3b195ce1a6afb5b3;p=yosys.git

abc: Allow +/ filenames in the abc command
---

diff --git a/passes/techmap/abc.cc b/passes/techmap/abc.cc
index d0f772be4..3d943e682 100644
--- a/passes/techmap/abc.cc
+++ b/passes/techmap/abc.cc
@@ -1431,17 +1431,20 @@ struct AbcPass : public Pass {
 			}
 			if (arg == "-script" && argidx+1 < args.size()) {
 				script_file = args[++argidx];
+				rewrite_filename(script_file);
 				if (!script_file.empty() && !is_absolute_path(script_file) && script_file[0] != '+')
 					script_file = std::string(pwd) + "/" + script_file;
 				continue;
 			}
 			if (arg == "-liberty" && argidx+1 < args.size()) {
 				liberty_file = args[++argidx];
+				rewrite_filename(liberty_file);
 				if (!liberty_file.empty() && !is_absolute_path(liberty_file))
 					liberty_file = std::string(pwd) + "/" + liberty_file;
 				continue;
 			}
 			if (arg == "-constr" && argidx+1 < args.size()) {
+				rewrite_filename(constr_file);
 				constr_file = args[++argidx];
 				if (!constr_file.empty() && !is_absolute_path(constr_file))
 					constr_file = std::string(pwd) + "/" + constr_file;