Installing Tamarin on OS X with Homebrew

[Martin Dehnel-Wild]

Hi all,

It's now insanely easy to install Tamarin on Mac OS X with Homebrew.

Installation is now as simple as brew cask install tamarin-prover from the terminal.

This automatically installs the dependencies (Maude and GraphViz), and then the latest stable binary of Tamarin (v1.0.0) from the /bin-dists/ repo.

I have submitted a pull request to add this to the manual.

As and when new versions of Tamarin are created and released, I will submit the update to Homebrew to reflect this; Homebrew Cask currently downloads the binary direct from the Github /bin-dists/ repo, but I will need to update the checksum etc. when new versions are released. When master successfully compiles on Mac, Tamarin will be transferred to Homebrew proper, not cask.

Happy Tamarin-ing!

Martin

--

Martin Dehnel-Wild

DPhil Student, Department of Computer Science,

New College, Oxford

[Martin Dehnel-Wild]

As of commit 47899f7, Tamarin 1.2.0 is now available in HomeBrew Cask for macOS. 

If you already had it installed through HomeBrew, you can just 'brew update', otherwise, just hit 'brew cask install tamarin-prover' and then 'tamarin-prover --version' -- it should now say Version 1.2.0.

Happy proving!

Martin

P.S. HomeBrew Cask only distributes binaries; we are in the process of sorting out various issues with Tamarin so that it can be added to (main) HomeBrew itself, so that it will be based more directly on the actual source-code.

[Martin Dehnel-Wild]

Sorry -- my mistake; if you already had it installed, you need to brew update && brew upgrade and then that will upgrade your packages automatically. 

It's worth noting that Cask is just a temporary solution: we're hoping that it will be added to the full HomeBrew (non-binary) distribution within the next week or two, now that various things have been sorted out with compilation.

I'll post a message (and update the manual) when this changes.