diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-01-07 16:36:13 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-01-07 16:36:13 +0100 |
| commit | a96c775a7301645b27486a5e663c75fca460f577 (patch) | |
| tree | 18ab72d9bcf1fe0da59e993f71dc2ccf09f21066 /kernel/yosys.h | |
| parent | 446ccf1f05b2b36db9161bf4ab050778a1cbaee6 (diff) | |
| download | yosys-a96c775a7301645b27486a5e663c75fca460f577.tar.gz yosys-a96c775a7301645b27486a5e663c75fca460f577.tar.bz2 yosys-a96c775a7301645b27486a5e663c75fca460f577.zip | |
Add support for "yosys -E"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
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; |