diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-08-22 13:58:36 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-08-22 14:00:11 +0200 |
commit | a3494fa9ed32d7ff2b826dfc921e3a0139158880 (patch) | |
tree | 98793a987d65abe7c663fc5f82f4f5b6a9cae161 /kernel/yosys.cc | |
parent | 752650a062cb262b37f1c5ea62663e5c8c9c7928 (diff) | |
download | yosys-a3494fa9ed32d7ff2b826dfc921e3a0139158880.tar.gz yosys-a3494fa9ed32d7ff2b826dfc921e3a0139158880.tar.bz2 yosys-a3494fa9ed32d7ff2b826dfc921e3a0139158880.zip |
Added "plugin" command
Diffstat (limited to 'kernel/yosys.cc')
-rw-r--r-- | kernel/yosys.cc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/kernel/yosys.cc b/kernel/yosys.cc index 599c92d52..ce2487314 100644 --- a/kernel/yosys.cc +++ b/kernel/yosys.cc @@ -22,6 +22,7 @@ #include <readline/readline.h> #include <readline/history.h> +#include <dlfcn.h> #include <unistd.h> #include <limits.h> @@ -98,6 +99,12 @@ void yosys_shutdown() yosys_tcl_interp = NULL; } #endif + + for (auto &it : loaded_plugins) + dlclose(it.second); + + loaded_plugins.clear(); + loaded_plugin_aliases.clear(); } RTLIL::IdString new_id(std::string file, int line, std::string func) |