Skip to content

Instantly share code, notes, and snippets.

@lucas-manuel
Last active January 9, 2022 18:19
Show Gist options
  • Save lucas-manuel/93cf8b321ec8a87fc38b14168669583a to your computer and use it in GitHub Desktop.
Save lucas-manuel/93cf8b321ec8a87fc38b14168669583a to your computer and use it in GitHub Desktop.

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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment