diff --git a/lib/Conversion/HWToBTOR2/CMakeLists.txt b/lib/Conversion/HWToBTOR2/CMakeLists.txt
index 12f242c87146..643162f310e5 100644
--- a/lib/Conversion/HWToBTOR2/CMakeLists.txt
+++ b/lib/Conversion/HWToBTOR2/CMakeLists.txt
@@ -12,5 +12,6 @@ add_circt_conversion_library(CIRCTHWToBTOR2
   CIRCTSV
   CIRCTComb
   CIRCTSeq
+  CIRCTVerif
   MLIRTransforms
 )
diff --git a/lib/Dialect/SV/CMakeLists.txt b/lib/Dialect/SV/CMakeLists.txt
index 41073876a19a..1aa348e93e28 100644
--- a/lib/Dialect/SV/CMakeLists.txt
+++ b/lib/Dialect/SV/CMakeLists.txt
@@ -17,7 +17,6 @@ add_circt_dialect_library(CIRCTSV
   CIRCTComb
   CIRCTHW
   CIRCTSupport
-  CIRCTVerif
   MLIRIR
 )
 
diff --git a/tools/om-linker/CMakeLists.txt b/tools/om-linker/CMakeLists.txt
index deb34bc202f5..a0505df608ec 100644
--- a/tools/om-linker/CMakeLists.txt
+++ b/tools/om-linker/CMakeLists.txt
@@ -14,6 +14,7 @@ target_link_libraries(om-linker PRIVATE
   CIRCTOMTransforms
   CIRCTSV
   CIRCTSupport
+  CIRCTVerif
 
   MLIRBytecodeReader
   MLIRBytecodeWriter