diff options
author | umarcor <unai.martinezcorral@ehu.eus> | 2020-12-28 04:30:57 +0100 |
---|---|---|
committer | umarcor <unai.martinezcorral@ehu.eus> | 2020-12-29 05:50:04 +0100 |
commit | e61b1070729cf247b3d0d86225f7984a04cf72a1 (patch) | |
tree | 64f395e364d0eb7f86f5fb68d58a9e68ebab3ebb /passes/cmds | |
parent | da1d06d7852a64e562a8a8a75aa8b4c1864bc9e7 (diff) | |
download | yosys-e61b1070729cf247b3d0d86225f7984a04cf72a1.tar.gz yosys-e61b1070729cf247b3d0d86225f7984a04cf72a1.tar.bz2 yosys-e61b1070729cf247b3d0d86225f7984a04cf72a1.zip |
plugin: enhance no-plugin error
Diffstat (limited to 'passes/cmds')
-rw-r--r-- | passes/cmds/plugin.cc | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/passes/cmds/plugin.cc b/passes/cmds/plugin.cc index 3ed19497d..a94769bcd 100644 --- a/passes/cmds/plugin.cc +++ b/passes/cmds/plugin.cc @@ -93,7 +93,11 @@ void load_plugin(std::string filename, std::vector<std::string> aliases) #else void load_plugin(std::string, std::vector<std::string>) { - log_error("This version of yosys is built without plugin support.\n"); + log_error( + "\n This version of Yosys cannot load plugins at runtime.\n" + " Some plugins may have been included at build time.\n" + " Use option `-H' to see the available built-in and plugin commands.\n" + ); } #endif |