tamarin installer

#!/bin/bash
echo "Provisioning..."

# Get the dependencies
sudo apt-get install -y maude graphviz zlib1g-dev ghc happy alex cabal-install git

# Get Tamarin (only the development branch, without history)
git clone --depth 1 --single-branch --branch develop https://github.com/tamarin-prover/tamarin-prover/
cd tamarin-prover

# Build
make

# Run
~/tamarin-prover/cabal-install/bin/tamarin-prover interactive -i=*4 ~/tamarin-prover/examples/ake/