diff options
Diffstat (limited to 'kernel/register.h')
-rw-r--r-- | kernel/register.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/kernel/register.h b/kernel/register.h index f66cbfd30..4dd86cf3d 100644 --- a/kernel/register.h +++ b/kernel/register.h @@ -31,6 +31,9 @@ extern Tcl_Interp *yosys_get_tcl_interp(); #endif +// from kernel/version_*.o (cc source generated from Makefile) +extern const char *yosys_version_str; + // implemented in driver.cc extern RTLIL::Design *yosys_get_design(); std::string rewrite_yosys_exe(std::string exe); |