fix mac os

runtimeverification · Sep 20, 2021 · a02befb · a02befb
1 parent 9999a7b
commit a02befb
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/lib/llvm/CMakeLists.txt b/lib/llvm/CMakeLists.txt
@@ -3,6 +3,9 @@ add_library(LLVMPass MODULE
 )
 
 target_link_libraries(LLVMPass PUBLIC AST)
+if (APPLE)
+  target_link_libraries(LLVMPass PUBLIC "-undefined dynamic_lookup")
+endif()
 
 install(
   TARGETS LLVMPass