M1 MacOS KEVM install

gistfile1.txt

// 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