plugin: enhance no-plugin error

diff --git a/passes/cmds/plugin.cc b/passes/cmds/plugin.cc
index 3ed19497d5e51104d95524a77a4360980d6cb594..a94769bcd299e0b36b1ac06a425ee94d8dd5fb6e 100644 (file)
--- 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