From ec8deeaa6d8d0d3fd3d01b9b27c49c826effc176 Mon Sep 17 00:00:00 2001 From: Ayaz <20735482+ayazhafiz@users.noreply.github.com> Date: Mon, 30 Dec 2024 13:32:51 -0500 Subject: [PATCH] Mention installing z3 on macos libz3 must be present on apple silicon. Signed-off-by: Ayaz <20735482+ayazhafiz@users.noreply.github.com> --- www/content/install/macos_apple_silicon.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/www/content/install/macos_apple_silicon.md b/www/content/install/macos_apple_silicon.md index cd04cb3efc..a0efa553e8 100644 --- a/www/content/install/macos_apple_silicon.md +++ b/www/content/install/macos_apple_silicon.md @@ -18,10 +18,10 @@ which includes the Roc compiler and some helpful utilities. cd roc_night ``` -1. Install llvm 18: +1. Install llvm 18 and z3: ```sh - brew install llvm@18 + brew install llvm@18 z3 ``` 1. To be able to run the `roc` command anywhere on your system; add the line below to your shell startup script (.profile, .zshrc, ...):