diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-08-14 21:46:17 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-14 21:46:17 +0200 |
| commit | 6d371f06ab3f883296730edbcffc24130ff2adc5 (patch) | |
| tree | 377fd712f2c203aef0edf59252221eb9814278c4 | |
| parent | 76efbcc15f06b1b6decbbab1036d52abe9fb64e8 (diff) | |
| parent | 9a64ba3338280037215388ca3b195ce1a6afb5b3 (diff) | |
| download | yosys-6d371f06ab3f883296730edbcffc24130ff2adc5.tar.gz yosys-6d371f06ab3f883296730edbcffc24130ff2adc5.tar.bz2 yosys-6d371f06ab3f883296730edbcffc24130ff2adc5.zip | |
Merge pull request #383 from azonenberg/abcfnames
abc: Allow +/ filenames in the abc command
| -rw-r--r-- | passes/techmap/abc.cc | 3 |
1 files changed, 3 insertions, 0 deletions
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; |