From c912b284447cd361fb8eb2dedc8a90630a4e418f Mon Sep 17 00:00:00 2001 From: Benjamin Bannier Date: Fri, 19 Jan 2024 12:27:39 +0100 Subject: [PATCH] Merge branch 'topic/bbannier/issue-3177' (cherry picked from commit 638e8a051959c869261b46ebc56e1bce80d200b0) --- CMakeLists.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/CMakeLists.txt b/CMakeLists.txt index 426a503217..9195a26ad9 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -947,8 +947,10 @@ if (NOT DISABLE_SPICY) # instead explicitly branch on `BINARY_PACKAGING_MODE` here. if (BINARY_PACKAGING_MODE) hilti_link_object_libraries_in_tree(zeek_exe PRIVATE) + spicy_link_object_libraries_in_tree(zeek_exe PRIVATE) else () hilti_link_libraries_in_tree(zeek_exe PRIVATE) + spicy_link_libraries_in_tree(zeek_exe PRIVATE) endif () set(HAVE_SPICY yes)