From: Alastair M. Robinson <robinsonb5@gmail.com>
Date: Tue, 10 May 2022 17:48:54 +0000 (+0100)
Subject: Now calls Tcl_Init after creating the interp, fixes clock format.
X-Git-Tag: divfloor-in-write_smt2-old-test~24^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=83dbea1689bd0efd5645cf75b40aa4cec430fc90;p=yosys.git

Now calls Tcl_Init after creating the interp, fixes clock format.
---

diff --git a/kernel/yosys.cc b/kernel/yosys.cc
index 09909696b..6ab283148 100644
--- a/kernel/yosys.cc
+++ b/kernel/yosys.cc
@@ -733,6 +733,8 @@ extern Tcl_Interp *yosys_get_tcl_interp()
 {
 	if (yosys_tcl_interp == NULL) {
 		yosys_tcl_interp = Tcl_CreateInterp();
+		if (Tcl_Init(yosys_tcl_interp)!=TCL_OK)
+			log("Tcl_Init() call failed\n");
 		Tcl_CreateCommand(yosys_tcl_interp, "yosys", tcl_yosys_cmd, NULL, NULL);
 	}
 	return yosys_tcl_interp;