mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-13 04:28:18 +00:00
Code Activity

Merge pull request #1117 from bwidawsk/more-home

Browse source 
Add a few more filename rewrites
This commit is contained in:
Clifford Wolf 2019-06-21 10:13:51 +02:00 committed by GitHub
parent 78e7a6f6f2 8767ec3fbd
commit c9949dba99
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
kernel/register.cc
View file

@ -545,6 +545,7 @@ void Backend::extra_args(std::ostream *&f, std::string &filename, std::vector<st
} }
filename = arg; filename = arg;
rewrite_filename(filename);
std::ofstream *ff = new std::ofstream; std::ofstream *ff = new std::ofstream;
ff->open(filename.c_str(), std::ofstream::trunc); ff->open(filename.c_str(), std::ofstream::trunc);
yosys_output_files.insert(filename); yosys_output_files.insert(filename);

4
passes/sat/sat.cc
View file

@ -659,6 +659,7 @@ struct SatHelper
void dump_model_to_vcd(std::string vcd_file_name) void dump_model_to_vcd(std::string vcd_file_name)
{ {
rewrite_filename(vcd_file_name);
FILE *f = fopen(vcd_file_name.c_str(), "w"); FILE *f = fopen(vcd_file_name.c_str(), "w");
if (!f) if (!f)
log_cmd_error("Can't open output file `%s' for writing: %s\n", vcd_file_name.c_str(), strerror(errno)); log_cmd_error("Can't open output file `%s' for writing: %s\n", vcd_file_name.c_str(), strerror(errno));
@ -761,6 +762,7 @@ struct SatHelper
void dump_model_to_json(std::string json_file_name) void dump_model_to_json(std::string json_file_name)
{ {
rewrite_filename(json_file_name);
FILE *f = fopen(json_file_name.c_str(), "w"); FILE *f = fopen(json_file_name.c_str(), "w");
if (!f) if (!f)
log_cmd_error("Can't open output file `%s' for writing: %s\n", json_file_name.c_str(), strerror(errno)); log_cmd_error("Can't open output file `%s' for writing: %s\n", json_file_name.c_str(), strerror(errno));
@ -1505,6 +1507,7 @@ struct SatPass : public Pass {
{ {
if (!cnf_file_name.empty()) if (!cnf_file_name.empty())
{ {
rewrite_filename(cnf_file_name);
FILE *f = fopen(cnf_file_name.c_str(), "w"); FILE *f = fopen(cnf_file_name.c_str(), "w");
if (!f) if (!f)
log_cmd_error("Can't open output file `%s' for writing: %s\n", cnf_file_name.c_str(), strerror(errno)); log_cmd_error("Can't open output file `%s' for writing: %s\n", cnf_file_name.c_str(), strerror(errno));
@ -1608,6 +1611,7 @@ struct SatPass : public Pass {
if (!cnf_file_name.empty()) if (!cnf_file_name.empty())
{ {
rewrite_filename(cnf_file_name);
FILE *f = fopen(cnf_file_name.c_str(), "w"); FILE *f = fopen(cnf_file_name.c_str(), "w");
if (!f) if (!f)
log_cmd_error("Can't open output file `%s' for writing: %s\n", cnf_file_name.c_str(), strerror(errno)); log_cmd_error("Can't open output file `%s' for writing: %s\n", cnf_file_name.c_str(), strerror(errno));