In case anyone else runs into this: installing on Apple Silicon and using MacPorts to install LLVM and Z3, roc will fail to find two .dylib files: libz3.4.12.dylib and libzstd.1.dylib. They are located in /opt/local/lib, where roc doesn't look. (I don't know anything about building/linking MacOS apps these days—perhaps the current equivalent to $DYLD_LIBRARY_PATH can be broadened?)
roc searches in some homebrew-related folders, /usr/lib (which isn't user-writeable), and /usr/local/lib (which is). Creating symlinks in /usr/local/lib to each .dylib file seems to resolve the issue.
Last updated: Jul 06 2025 at 12:14 UTC