can't build loadable module on OS X without this extra flag
MODIFY
tv/CMakeLists.txt
tv/CMakeLists.txt
@@ -7,3 +7,9 @@ endif()
target_link_libraries(tv PRIVATE ${ALIVE_LIBS_LLVM} ${Z3_LIBRARIES}
$<$<AND:$<CXX_COMPILER_ID:GNU>,$<VERSION_LESS:$<CXX_COMPILER_VERSION>,9.0>>:stdc++fs>)
+
+if(APPLE)
+ set_target_properties(tv PROPERTIES
+ LINK_FLAGS "-undefined dynamic_lookup"
+ )
+endif(APPLE)

can't build loadable module on OS X without this extra flag