From c1da94d3d3a94f4a2bf45036a1196a2e927698a1 Mon Sep 17 00:00:00 2001
From: Robert Young <rwy0717@gmail.com>
Date: Thu, 25 May 2023 13:36:54 -0400
Subject: [PATCH] Make Z3 a transitive dependency of CIRCTLogicalEquivalence

- Put the Z3 library in the public link libraries of CIRCTLogicalEquivalence
- Put the Z3 headers in the public includes of CIRCTLogicalEquivalence

Fixes a compile error where circt-lec was missing the Z3 include directories.
---
 lib/LogicalEquivalence/CMakeLists.txt | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

diff --git a/lib/LogicalEquivalence/CMakeLists.txt b/lib/LogicalEquivalence/CMakeLists.txt
index 9c8fb3839cb9..ccb54d16bed6 100644
--- a/lib/LogicalEquivalence/CMakeLists.txt
+++ b/lib/LogicalEquivalence/CMakeLists.txt
@@ -7,9 +7,6 @@ if(CIRCT_LEC_ENABLED)
     LINK_COMPONENTS
     Core
 
-    LINK_LIBS
-    ${Z3_LIBRARIES}
-    
     LINK_LIBS PUBLIC
     MLIRTransforms
     MLIRTranslateLib
@@ -17,8 +14,14 @@ if(CIRCT_LEC_ENABLED)
     CIRCTHW
     CIRCTSupport
   )
-  target_include_directories(CIRCTLogicalEquivalence
-    PRIVATE
+
+  target_link_libraries(CIRCTLogicalEquivalence
+    PUBLIC
+    ${Z3_LIBRARIES}
+  )
+
+  target_include_directories(CIRCTLogicalEquivalence SYSTEM
+    PUBLIC
     ${Z3_INCLUDE_DIR}
     ${Z3_CXX_INCLUDE_DIRS}
   )