From 0aa2a4c260ca9b9b9904763a305020b58954c9ef Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Wed, 8 Oct 2025 14:57:28 +0200
Subject: [PATCH] sdc: disable without YOSYS_ENABLE_TCL

---
 passes/cmds/sdc/sdc.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/passes/cmds/sdc/sdc.cc b/passes/cmds/sdc/sdc.cc
index aa4eef935..030a57c6c 100644
--- a/passes/cmds/sdc/sdc.cc
+++ b/passes/cmds/sdc/sdc.cc
@@ -1,3 +1,5 @@
+#ifdef YOSYS_ENABLE_TCL
+
 #include "kernel/register.h"
 #include "kernel/rtlil.h"
 #include "kernel/log.h"
@@ -757,3 +759,4 @@ struct SdcPass : public Pass {
 } SdcPass;
 
 YOSYS_NAMESPACE_END
+#endif