Tamarin Prover Homebrew tap
This is a Homebrew tap for the Tamarin prover.
Installing
Install Homebrew and run
brew install tamarin-prover/tap/tamarin-prover
Building bottles
Homebrew formulae can include compiled binaries, which it calls "bottles". To build a new bottle (perhaps for a new operating system or Tamarin release):
brew install --build-bottle tamarin-prover/tap/tamarin-prover
brew bottle tamarin-prover --keep-old --root-url=https://dl.bintray.com/tamarin-prover-org/tamarin-prover
and note the line of output it gives you with the bottle SHA and tag- Rename the bottle to use a single hyphen (e.g.
tamarin-prover--1.4.1.mojave.bottle.tar.gz
totamarin-prover-1.4.1.mojave.bottle.tar.gz
). At least on linux, run sha256sum on the renamed file, and use the result to replace the bottle hash from previous item. - Give the resulting file to one of the members of the Bintray org and ask them to upload it to Bintray
- Update the
tamarin-prover
formula with the bottle SHA and tag, in the bottle section with the custom Bintray URL
New installs will then use this bottle.