We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent f51c51b commit c57e5e5Copy full SHA for c57e5e5
1 file changed
lib/EvalMaxSAT/CMakeLists.txt
@@ -29,7 +29,7 @@ target_include_directories(${projectName} PUBLIC
29
$<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}/src>
30
$<INSTALL_INTERFACE:${CMAKE_INSTALL_INCLUDEDIR}>
31
)
32
-target_link_libraries(${projectName} PRIVATE MaLib evalmax_cadical)
+target_link_libraries(${projectName} PUBLIC MaLib PRIVATE evalmax_cadical)
33
34
# Set version properties
35
set_target_properties(${projectName} PROPERTIES
0 commit comments