diff --git a/INSTALL b/INSTALL
index 528d865bfc0191db7fca874d3cc4127566efd839..1b8cf4c6ef8d80ac13a4caa488c48bb47fcb255e 100644
--- a/INSTALL
+++ b/INSTALL
@@ -1,3 +1,11 @@
+On Mac
+brew install autoconf opam cmake
+Download ada from https://www.adacore.com/download
+
+
+Then
+opam install ocamlfind ocamlgraph cmdliner fmt logs dune num yojson 
+
 
 
 For the ADA backend: