[NFC][SV] Remove unnecessary SV dependency on Verif (llvm#7249)

doughnutsz · Jun 28, 2024 · d8b0baa · d8b0baa
1 parent 609180a
commit d8b0baa
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 1 deletion.
diff --git 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
@@ -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
@@ -14,6 +14,7 @@ target_link_libraries(om-linker PRIVATE
   CIRCTOMTransforms
   CIRCTSV
   CIRCTSupport
+  CIRCTVerif
 
   MLIRBytecodeReader
   MLIRBytecodeWriter