Do not install CaDiCaL static library (cvc5#10642)

We always link the CaDiCaL library statically, so there is no need to install it along cvc5.
HanielB · Apr 17, 2024 · 5b16cf5 · 5b16cf5
1 parent 304125b
commit 5b16cf5
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/cmake/FindCaDiCaL.cmake b/cmake/FindCaDiCaL.cmake
@@ -172,8 +172,4 @@ if(CaDiCaL_FOUND_SYSTEM)
 else()
   message(STATUS "Building CaDiCaL ${CaDiCaL_VERSION}: ${CaDiCaL_LIBRARIES}")
   add_dependencies(CaDiCaL CaDiCaL-EP)
-  install(FILES
-    ${CaDiCaL_LIBRARIES}
-    DESTINATION ${CMAKE_INSTALL_LIBDIR}
-  )
 endif()