mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-06 06:03:23 +00:00
Code Activity

Fixed issue when using a python plugin in the yosys shell

Browse source
This commit is contained in:
Benedikt Tutzer 2018-08-20 14:44:03 +02:00
parent d79a2808cf
commit 5864db3c2b
3 changed files with 28 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

5
kernel/yosys.h
View file

@ -278,6 +278,11 @@ namespace hashlib {
}
void yosys_setup();
#ifdef WITH_PYTHON
bool yosys_already_setup();
#endif
void yosys_shutdown();
#ifdef YOSYS_ENABLE_TCL