message: disable compilation of libalive2.so as no one is using that
  so let me save some compilation time
diff: @@ -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})
  