mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-14 04:48:46 +00:00
Code Activity

Merge pull request from umarcor/plugin-err

Browse source 
plugin: enhance no-plugin error
This commit is contained in:
whitequark 2021-01-01 09:39:17 +00:00 committed by GitHub
parent 8759ed9883 e61b107072
commit 1387c3b41d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 1 deletions

6
passes/cmds/plugin.cc
View file

@ -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