Install hevm

Had to do a brew install cabal-install in order to get the cabal install --lib command to work

Had to do a brew install libtool for ./autogen.sh in secp256k1

Need to do brew install openssl

Had to add

  include-dirs:
    /usr/local/include
  extra-lib-dirs:
    /usr/local/lib

to dapptools/src/hevm/hevm.cabal for cabal v2-install

Install dapp

brew install jq z3 bash
cd dapptools/src/dapp
sudo make install (need to verify if this works without changing top line)

Install seth

Download Go: https://go.dev/dl/

cd dapptools/src/ethsign
go get github.com/OneOfOne/xxhash
go get github.com/dapphub/ethsign

Add export PATH="~/go/bin:$PATH" to ~/.zshrc

source ~/.zshrc
cd dapptools/src/seth
sudo make install
brew install jshon