diff options
author | whitequark <whitequark@whitequark.org> | 2021-01-01 09:39:17 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-01 09:39:17 +0000 |
commit | 1387c3b41deb4b394745f19aa08ec3c7249c48b9 (patch) | |
tree | 832e523c70abadc0313c0196e8a9278bde5bd03c | |
parent | 8759ed98836ca24e31251552b03f800f759629ac (diff) | |
parent | e61b1070729cf247b3d0d86225f7984a04cf72a1 (diff) | |
download | yosys-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.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 |