From dc7c7bd82547cf1c36b1f550ea717f98226f3a21 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Tue, 9 Jun 2026 14:53:53 +0200
Subject: [PATCH] verific: do not link TCL command line interface

---
 cmake/YosysVerific.cmake | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/cmake/YosysVerific.cmake b/cmake/YosysVerific.cmake
index fdfd0887a..7f8e2a4f2 100644
--- a/cmake/YosysVerific.cmake
+++ b/cmake/YosysVerific.cmake
@@ -25,6 +25,9 @@ function(get_verific_components result)
 		list(APPEND components ${component})
 	endforeach()
 
+	# Always remove TCL command interface
+	list(REMOVE_ITEM components commands)
+
 	set(${result} ${components})
 	return(PROPAGATE ${result})
 endfunction()