message: can't build loadable module on OS X without this extra flag
diff: @@ -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)
  