From 6fcd7a81d10ed68c80d6c5955e1e26b0dfa174f7 Mon Sep 17 00:00:00 2001
From: Hannes Steffenhagen <hannes.steffenhagen@diffblue.com>
Date: Tue, 22 Sep 2020 11:32:46 +0100
Subject: [PATCH] Add macOS installation instructions to README

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

diff --git a/README.md b/README.md
index 4ce44688833..6bddc486313 100644
--- a/README.md
+++ b/README.md
@@ -43,6 +43,20 @@ already have these, if not please download and run vcredist.x64.exe from
 [Microsoft](https://support.microsoft.com/en-gb/help/2977003/the-latest-supported-visual-c-downloads) to install them prior to running
 cbmc.
 
+### macOS
+
+For macOS there is a [Homebrew](https://brew.sh) package
+[available](https://formulae.brew.sh/formula/cbmc). Once you have installed
+Homebrew, simply run
+
+    brew install cbmc
+
+to install cbmc, or if you already have it installed via homebrew
+
+    brew upgrade cbmc
+
+to get an up-to-date version.
+
 Report bugs
 ===========