diff options
Diffstat (limited to 'kernel/yosys.cc')
| -rw-r--r-- | kernel/yosys.cc | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/kernel/yosys.cc b/kernel/yosys.cc index 34665a0ad..987ebcdce 100644 --- a/kernel/yosys.cc +++ b/kernel/yosys.cc @@ -64,6 +64,8 @@ CellTypes yosys_celltypes; Tcl_Interp *yosys_tcl_interp = NULL; #endif +std::set<std::string> yosys_input_files, yosys_output_files; + bool memhasher_active = false; uint32_t memhasher_rng = 123456; std::vector<void*> memhasher_store; @@ -831,8 +833,10 @@ void run_frontend(std::string filename, std::string command, std::string *backen FILE *f = stdin; - if (filename != "-") + if (filename != "-") { f = fopen(filename.c_str(), "r"); + yosys_input_files.insert(filename); + } if (f == NULL) log_error("Can't open script file `%s' for reading: %s\n", filename.c_str(), strerror(errno)); |