/homebrew-tap

Homebrew tap for installing the Tamarin prover

Primary LanguageRuby

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):

  1. brew install --build-bottle tamarin-prover/tap/tamarin-prover
  2. 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
  3. Rename the bottle to use a single hyphen (e.g. tamarin-prover--1.4.1.mojave.bottle.tar.gz to tamarin-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.
  4. Give the resulting file to one of the members of the Bintray org and ask them to upload it to Bintray
  5. 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.