Created
April 21, 2022 14:45
-
-
Save ndkoo/1f723db1839c6d3b070698f1f8012052 to your computer and use it in GitHub Desktop.
M1 MacOS KEVM install
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// dependencies | |
brew install java automake libtool gmp mpfr pkg-config maven libffi openssl protobuf python | |
// bash update | |
brew install bash | |
sudo vi /etc/shells | |
-> Add /opt/homebrew/bin/bash ,and delete /bin/bash | |
git clone git@github.com:kframework/evm-semantics.git | |
cd evm-semantics | |
git submodule update --init --recursive | |
mv macos-envrc .envrc | |
direnv allow . | |
mkdir -p .build/usr/bin | |
mkdir -p .build/usr/lib/kevm | |
make deps RELEASE=true -j8 APPLE_SILICON=true | |
make plugin-deps APPLE_SILICON=true | |
export PATH="`pwd`/deps/k/k-distribution/bin:`pwd`/.build/usr/bin:$PATH" | |
make libcryptopp libff libsecp256k1 APPLE_SILICON=true | |
make build RELEASE=true -j1 APPLE_SILICON=true |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment