Skip to content

Instantly share code, notes, and snippets.

@katrielalex

katrielalex/tamarin installer

Last active August 29, 2015 14:16
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save katrielalex/02787322c99172791c9d to your computer and use it in GitHub Desktop.
Save katrielalex/02787322c99172791c9d to your computer and use it in GitHub Desktop.
Download ZIP
Raw
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/
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment