From 3f86e4f445c287d001e46a3103c5e86c0b5594aa Mon Sep 17 00:00:00 2001 From: Dwight Guth Date: Wed, 1 Dec 2021 11:27:13 -0600 Subject: [PATCH] better description of current mac support on INSTALL.md --- k-distribution/INSTALL.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/k-distribution/INSTALL.md b/k-distribution/INSTALL.md index 96164c06356..8771ba39863 100644 --- a/k-distribution/INSTALL.md +++ b/k-distribution/INSTALL.md @@ -116,8 +116,9 @@ With brew installed, do the following to install the K Framework brew package brew install kframework--X.Y.Z.ID.bottle.BN.tar.gz -v ``` -Note: the brew package should install on MacOS X Catalina systems even though -the package was built for Mojave. +Note: we do not yet have a MacOS Monterey bottle. The existing brew package +also does not work on M1 Silicon Macs. If you have either of these systems, +you should build from source for the time being. #### Homebrew Alternate Installation