diff --git a/README.md b/README.md index 4d12223e0..ddd28f75a 100644 --- a/README.md +++ b/README.md @@ -305,6 +305,14 @@ If you want to use this functionality, you will need to manually start and stop, as appropriate, a Redis server instance on localhost. Alive2 should be the only user of this server. +Troubleshooting +-------- +Some combinations of Clang and MacOS versions may give link warnings +“-undefined dynamic_lookup may not work with chained fixups,” and +runtime errors with “symbol not found in flat namespace.” Setting +[CMAKE_OSX_DEPLOYMENT_TARGET](https://cmake.org/cmake/help/latest/variable/CMAKE_OSX_DEPLOYMENT_TARGET.html) as a cache entry to 11.0 +or less at the beginning of CMakeLists.txt may work around this. + LLVM Bugs Found by Alive2 --------