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()