diff options
Diffstat (limited to 'kernel')
-rw-r--r-- | kernel/driver.cc | 3 | ||||
-rw-r--r-- | kernel/register.h | 3 |
2 files changed, 3 insertions, 3 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index 1e8b86a3..54f7a2e6 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -31,9 +31,6 @@ #include "kernel/register.h" #include "kernel/log.h" -// from kernel/version_*.o (cc source generated from Makefile) -extern const char *yosys_version_str; - bool fgetline(FILE *f, std::string &buffer) { buffer = ""; diff --git a/kernel/register.h b/kernel/register.h index f66cbfd3..4dd86cf3 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); |