mirror of https://github.com/YosysHQ/yosys.git
plugin: enhance no-plugin error
This commit is contained in:
parent
da1d06d785
commit
e61b107072
|
@ -93,7 +93,11 @@ void load_plugin(std::string filename, std::vector<std::string> aliases)
|
||||||
#else
|
#else
|
||||||
void load_plugin(std::string, std::vector<std::string>)
|
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
|
#endif
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue