From d079240d38c6513d87bf5a03bd78df5e093e78a9 Mon Sep 17 00:00:00 2001
From: RonxBulld <526677628@qq.com>
Date: Sat, 7 Jun 2025 22:21:09 +0800
Subject: [PATCH] Allows calling yosys_shutdown and then yosys_setup to
 restart.

---
 kernel/yosys.cc | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/kernel/yosys.cc b/kernel/yosys.cc
index 7d0d688fc..196b78186 100644
--- a/kernel/yosys.cc
+++ b/kernel/yosys.cc
@@ -187,12 +187,14 @@ int run_command(const std::string &command, std::function<void(const std::string
 #endif
 
 bool already_setup = false;
+bool already_shutdown = false;
 
 void yosys_setup()
 {
 	if(already_setup)
 		return;
 	already_setup = true;
+	already_shutdown = false;
 
 #ifdef WITH_PYTHON
 	// With Python 3.12, calling PyImport_AppendInittab on an already
@@ -224,12 +226,11 @@ bool yosys_already_setup()
 	return already_setup;
 }
 
-bool already_shutdown = false;
-
 void yosys_shutdown()
 {
 	if(already_shutdown)
 		return;
+	already_setup = false;
 	already_shutdown = true;
 	log_pop();