From: umarcor <unai.martinezcorral@ehu.eus>
Date: Mon, 28 Dec 2020 03:30:57 +0000 (+0100)
Subject: plugin: enhance no-plugin error
X-Git-Tag: working-ls180~132^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e61b1070729cf247b3d0d86225f7984a04cf72a1;p=yosys.git

plugin: enhance no-plugin error
---

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