diff options
Diffstat (limited to 'kernel/yosys.h')
| -rw-r--r-- | kernel/yosys.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/kernel/yosys.h b/kernel/yosys.h index 5ec681b32..14cbcd610 100644 --- a/kernel/yosys.h +++ b/kernel/yosys.h @@ -305,6 +305,9 @@ void run_frontend(std::string filename, std::string command, RTLIL::Design *desi void run_backend(std::string filename, std::string command, RTLIL::Design *design = nullptr); void shell(RTLIL::Design *design); +// journal of all input and output files read (for "yosys -E") +extern std::set<std::string> yosys_input_files, yosys_output_files; + // from kernel/version_*.o (cc source generated from Makefile) extern const char *yosys_version_str; |