Merge pull request #7437 from roc-lang/ayazhafiz-patch-1

Mention installing z3 on macos
roc-lang · Dec 30, 2024 · 9000293 · 9000293
2 parents 6ca5a88 + ec8deea
commit 9000293
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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<TAB TO AUTOCOMPLETE>
     ```
 
-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, ...):