Fix broken p4tools deps

p4lang · Feb 27, 2024 · d3ff595 · d3ff595
1 parent 40bf2a3
commit d3ff595
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/backends/p4tools/common/CMakeLists.txt b/backends/p4tools/common/CMakeLists.txt
@@ -41,6 +41,8 @@ add_p4tools_library(p4tools-common ${P4C_TOOLS_COMMON_SOURCES})
 target_link_libraries(
   p4tools-common
   PUBLIC ${P4TOOLS_Z3_LIB}
+  PRIVATE frontend
+  PRIVATE ir-generated
 )
 
 target_include_directories(
@@ -54,8 +56,6 @@ target_include_directories(
   PUBLIC "${P4C_BINARY_DIR}"
 )
 
-add_dependencies(p4tools-common ir-generated frontend)
-
 set(
   P4C_TOOLS_CONTROL_PLANE_SOURCES
   control_plane/p4info_map.cpp