disable compilation of libalive2.so as no one is using that
so let me save some compilation time
MODIFY
CMakeLists.txt
CMakeLists.txt
@@ -201,11 +201,11 @@ add_executable(alive
)
target_link_libraries(alive PRIVATE ${ALIVE_LIBS})
-add_library(alive2 SHARED ${IR_SRCS} ${SMT_SRCS} ${TOOLS_SRCS} ${UTIL_SRCS} ${LLVM_UTIL_SRCS})
+#add_library(alive2 SHARED ${IR_SRCS} ${SMT_SRCS} ${TOOLS_SRCS} ${UTIL_SRCS} ${LLVM_UTIL_SRCS})
if (BUILD_LLVM_UTILS OR BUILD_TV)
llvm_map_components_to_libnames(llvm_libs support core irreader analysis passes transformutils)
- target_link_libraries(alive2 PRIVATE ${llvm_libs})
+# target_link_libraries(alive2 PRIVATE ${llvm_libs})
target_link_libraries(alive-tv PRIVATE ${ALIVE_LIBS_LLVM} ${llvm_libs})
target_link_libraries(alive-exec PRIVATE ${ALIVE_LIBS_LLVM} ${llvm_libs})
endif()
@@ -218,7 +218,7 @@ if (CYGWIN)
file(COPY "${Z3_LIBRARIES}" DESTINATION "${PROJECT_BINARY_DIR}")
else()
target_link_libraries(alive PRIVATE ${Z3_LIBRARIES})
- target_link_libraries(alive2 PRIVATE ${Z3_LIBRARIES})
+ #target_link_libraries(alive2 PRIVATE ${Z3_LIBRARIES})
if (BUILD_LLVM_UTILS OR BUILD_TV)
target_link_libraries(alive-tv PRIVATE ${Z3_LIBRARIES})
target_link_libraries(alive-exec PRIVATE ${Z3_LIBRARIES})

disable compilation of libalive2.so as no one is using that
so let me save some compilation time