abc: Allow +/ filenames in the abc command

diff --git a/passes/techmap/abc.cc b/passes/techmap/abc.cc
index d0f772be48d6dce4181fae53c2f70f8bb127cd6d..3d943e68291fa40b58911026cd5bee7eaef3a7f9 100644 (file)
--- 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;