Support LLVM 14

CMakeLists.txt

@@ -19,7 +19,7 @@ if (MSVC)
   set(CMAKE_CXX_FLAGS_RELWITHDEBINFO "/O2 /Oi /Zi ${CMAKE_CXX_FLAGS_RELWITHDEBINFO}")
   set(CMAKE_EXE_LINKER_FLAGS         "/LTCG:INCREMENTAL ${CMAKE_EXE_LINKER_FLAGS}")
 else()
-  set(CMAKE_CXX_FLAGS                "-Wall -Werror -fPIC -fstrict-enums ${CMAKE_CXX_FLAGS}")
+  set(CMAKE_CXX_FLAGS                "-Wall -fPIC -fstrict-enums ${CMAKE_CXX_FLAGS}")
   set(CMAKE_CXX_FLAGS_DEBUG          "-g -Og ${CMAKE_CXX_FLAGS_DEBUG}")
   set(CMAKE_CXX_FLAGS_RELEASE        "-O3 ${CMAKE_CXX_FLAGS_RELEASE}")
   set(CMAKE_CXX_FLAGS_RELWITHDEBINFO "${CMAKE_CXX_FLAGS_RELEASE} -g ${CMAKE_CXX_FLAGS_RELWITHDEBINFO}")
@@ -200,7 +200,9 @@ if (BUILD_LLVM_UTILS OR BUILD_TV)
   add_library(llvm_util STATIC ${LLVM_UTIL_SRCS})
   set(ALIVE_LIBS_LLVM llvm_util ${ALIVE_LIBS})
 
-  set(LLVM_LINK_COMPONENTS ${LLVM_LINK_COMPONENTS} TargetParser)
+  if (LLVM_VERSION_MAJOR GREATER 14)
+    set(LLVM_LINK_COMPONENTS ${LLVM_LINK_COMPONENTS} TargetParser)
+  endif()
 
   add_llvm_executable(alive-tv
     "tools/alive-tv.cpp"
@@ -286,3 +288,19 @@ add_custom_target("check"
 if (BUILD_TV)
   add_dependencies("check" "alive-tv" "quick-fuzz" "tv")
 endif()
+
+if (Z3_DLL)
+  if (NOT MSVC)
+    message(FATAL_ERROR "Copying DLLs is only supported when using MSVC")
+  endif()
+
+  message(STATUS "Copy Z3 Shared Library ${Z3_DLL} to ${CMAKE_BINARY_DIR}/${CMAKE_BUILD_TYPE}/libz3.dll")
+
+  add_custom_command(
+    TARGET alive-tv
+    POST_BUILD
+    COMMAND "${CMAKE_COMMAND}" -E copy_if_different "${Z3_DLL}" "${CMAKE_BINARY_DIR}/${CMAKE_BUILD_TYPE}/libz3.dll"
+    WORKING_DIRECTORY "${CMAKE_SOURCE_DIR}"
+    VERBATIM
+  )
+endif()