Brew bottle location (#525)

* Jenkinsfile: update brew bottle location

* INSTALL: add instructions for macOS package

* !!! Jenkinsfile: debug/test release

* Jenkinsfile: formatting

* Jenkinsfile: remove `*` from mojave package path

* Revert "!!! Jenkinsfile: debug/test release"

This reverts commit 495ac0c.

* Revert "Jenkinsfile: remove `*` from mojave package path"

This reverts commit ec1c700.

* Jenkinsfile: globa-loba-glob-glob

Author: ehildenb

INSTALL.md

@@ -6,6 +6,7 @@ Current supported systems are:
 
 -   Ubuntu Bionic (18.04)
 -   Debian Buster
+-   Mac OS X Mojave
 
 Downloading Packages
 --------------------
@@ -24,6 +25,15 @@ Install the package with (`X.Y.Z` is version number, `ID` is platform identifier
 sudo apt install ./kevm_X.Y.Z_amd64_ID.deb
 ```
 
+### Mac OS X Mojave
+
+Tap the `kframework/k` bottle then install the downloaded `kevm` bottle:
+
+```sh
+brew tap kframework/k "file:///$(pwd)"
+brew install "kevm--X.Y.Z.mojave.bottle.tar.gz" -v
+```
+
 Building Packages
 -----------------
 

Jenkinsfile

@@ -440,10 +440,10 @@ pipeline {
                     mv bionic/kevm_${KEVM_RELEASE_ID}_amd64.deb bionic/kevm_${KEVM_RELEASE_ID}_amd64_bionic.deb
                     mv buster/kevm_${KEVM_RELEASE_ID}_amd64.deb buster/kevm_${KEVM_RELEASE_ID}_amd64_buster.deb
                     hub release create                                                                                               \
-                        --attach "kevm-${KEVM_RELEASE_ID}-src.tar.gz#Source tar.gz"                                                  \
-                        --attach "bionic/kevm_${KEVM_RELEASE_ID}_amd64_bionic.deb#Ubuntu Bionic (18.04) Package"                     \
-                        --attach "buster/kevm_${KEVM_RELEASE_ID}_amd64_buster.deb#Debian Buster (10) Package"                        \
-                        --attach mojave/kevm-5.0.0.mojave.bottle*.tar.gz"#Mac OS X Homebrew Bottle"                                  \
+                        --attach kevm-${KEVM_RELEASE_ID}-src.tar.gz"#Source tar.gz"                                                  \
+                        --attach bionic/kevm_${KEVM_RELEASE_ID}_amd64_bionic.deb"#Ubuntu Bionic (18.04) Package"                     \
+                        --attach buster/kevm_${KEVM_RELEASE_ID}_amd64_buster.deb"#Debian Buster (10) Package"                        \
+                        --attach mojave/kevm--${KEVM_RELEASE_ID}.mojave.bottle*.tar.gz"#Mac OS X Homebrew Bottle"                    \
                         --file "release.md" "${release_tag}"
                         # --attach "arch/kevm-${KEVM_RELEASE_ID}/package/kevm-git-${KEVM_RELEASE_ID}-1-x86_64.pkg.tar.xz#Arch Package" \
                   '''