aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorwhitequark <whitequark@whitequark.org>2021-01-01 09:39:17 +0000
committerGitHub <noreply@github.com>2021-01-01 09:39:17 +0000
commit1387c3b41deb4b394745f19aa08ec3c7249c48b9 (patch)
tree832e523c70abadc0313c0196e8a9278bde5bd03c
parent8759ed98836ca24e31251552b03f800f759629ac (diff)
parente61b1070729cf247b3d0d86225f7984a04cf72a1 (diff)
downloadyosys-1387c3b41deb4b394745f19aa08ec3c7249c48b9.tar.gz
yosys-1387c3b41deb4b394745f19aa08ec3c7249c48b9.tar.bz2
yosys-1387c3b41deb4b394745f19aa08ec3c7249c48b9.zip
Merge pull request #2512 from umarcor/plugin-err
plugin: enhance no-plugin error
-rw-r--r--passes/cmds/plugin.cc6
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