diff options
| author | Claire Xenia Wolf <claire@clairexen.net> | 2023-01-11 04:10:12 +0100 |
|---|---|---|
| committer | Claire Xenia Wolf <claire@clairexen.net> | 2023-01-11 04:10:12 +0100 |
| commit | 6d56d4ecfc2c9afda3fd58f945a5f10daf87a999 (patch) | |
| tree | 8b2e2cd5018674f287ae8b2c20877615fec8b555 /kernel/driver.cc | |
| parent | 029b0aac7f10ff5e1d927fb6ec1d9571a5350176 (diff) | |
| parent | 7b476996df962b63656152f643ff2181143f516e (diff) | |
| download | yosys-6d56d4ecfc2c9afda3fd58f945a5f10daf87a999.tar.gz yosys-6d56d4ecfc2c9afda3fd58f945a5f10daf87a999.tar.bz2 yosys-6d56d4ecfc2c9afda3fd58f945a5f10daf87a999.zip | |
Merge branch 'master' of github.com:YosysHQ/yosys into claire/eqystuff
Diffstat (limited to 'kernel/driver.cc')
| -rw-r--r-- | kernel/driver.cc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index aa90802c9..ef8e77924 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -205,6 +205,7 @@ extern char yosys_path[PATH_MAX]; #ifdef YOSYS_ENABLE_TCL namespace Yosys { extern int yosys_tcl_iterp_init(Tcl_Interp *interp); + extern void yosys_tcl_activate_repl(); }; #endif @@ -296,7 +297,7 @@ int main(int argc, char **argv) #endif printf("\n"); printf(" -p command\n"); - printf(" execute the commands\n"); + printf(" execute the commands (to chain commands, separate them with semicolon + whitespace: 'cmd1; cmd2')\n"); printf("\n"); printf(" -m module_file\n"); printf(" load the specified module (aka plugin)\n"); @@ -584,6 +585,7 @@ int main(int argc, char **argv) if (run_tcl_shell) { #ifdef YOSYS_ENABLE_TCL + yosys_tcl_activate_repl(); Tcl_Main(argc, argv, yosys_tcl_iterp_init); #else log_error("Can't exectue TCL shell: this version of yosys is not built with TCL support enabled.\n"); |