From 7cc269efa42187e0d59fef08c81e8b95347dc25b Mon Sep 17 00:00:00 2001
From: Emma Nardino <emma.nardino@ens-lyon.fr>
Date: Wed, 11 Sep 2024 14:03:10 +0200
Subject: [PATCH] Add MacOS install instructions

---
 INSTALL.md | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/INSTALL.md b/INSTALL.md
index 56320bc..2d03cbc 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -10,6 +10,20 @@ used in the labs).
 
 If this works for you, perfect, you can stop here.
 
+## MacOS
+
+There exists a Homebrew package for the RiscV toolchain, which
+_should_ work.
+
+```
+$ brew tap riscv-software-src/riscv
+$ brew install riscv-tools
+```
+
+See more detailed instructions at:
+
+  https://github.com/riscv-software-src/homebrew-riscv
+
 # Alternative 1 : docker
 
 Docker is a lightweight alternative to virtual machines. An image with