From 1c0cf67479ceb95549892336dca9b4ff4b3f0261 Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Wed, 8 Jul 2026 19:14:47 -0700
Subject: [PATCH] Allow override for version string

---
 kernel/yosys.cc | 13 ++++++++++---
 kernel/yosys.h  |  1 +
 2 files changed, 11 insertions(+), 3 deletions(-)

diff --git a/kernel/yosys.cc b/kernel/yosys.cc
index 32d693c37..df73a6f12 100644
--- a/kernel/yosys.cc
+++ b/kernel/yosys.cc
@@ -86,11 +86,18 @@ YOSYS_NAMESPACE_BEGIN
 Autoidx autoidx(1);
 int yosys_xtrace = 0;
 bool yosys_write_versions = true;
+static std::string yosys_version_override;
+
 const char* yosys_maybe_version() {
-	if (yosys_write_versions)
-		return yosys_version_str;
-	else
+	if (!yosys_write_versions)
 		return "Yosys";
+	if (!yosys_version_override.empty())
+		return yosys_version_override.c_str();
+	return yosys_version_str;
+}
+
+void yosys_set_version_str(const std::string &s) {
+	yosys_version_override = s;
 }
 
 RTLIL::Design *yosys_design = NULL;
diff --git a/kernel/yosys.h b/kernel/yosys.h
index 9f5a16a9c..c8f1b935c 100644
--- a/kernel/yosys.h
+++ b/kernel/yosys.h
@@ -83,6 +83,7 @@ extern std::set<std::string> yosys_input_files, yosys_output_files;
 extern const char *yosys_version_str;
 extern const char *yosys_git_hash_str;
 const char* yosys_maybe_version();
+void yosys_set_version_str(const std::string &s);
 
 // from passes/cmds/design.cc
 extern std::map<std::string, RTLIL::Design*> saved_designs;