# Maintainer: Everett Hildenbrandt <everett.hildenbrandt@runtimeverification.com>

pkgname=kevm-git

pkgver=1.0.0

pkgrel=1

epoch=

pkgdesc="K implementation of the Ethereum Virtual Machine (EVM)"

arch=('x86_64')

url="https://github.com/kframework/evm-semantics"

license=('custom')

groups=()

depends=('libsecp256k1' 'crypto++' 'protobuf' 'jemalloc')

makedepends=('pandoc' 'kframework-git' 'cmake' 'pkg-config' 'procps-ng' 'fakeroot')

checkdepends=()

optdepends=()

provides=()

conflicts=()

replaces=()

backup=()

options=(!strip)

install=

changelog=

source=('git+https://github.com/kframework/evm-semantics#branch=master')

noextract=()

md5sums=('SKIP')

validpgpkeys=()

prepare() {

cd "$srcdir/evm-semantics"

git submodule update --init --recursive

}

build() {

cd "$srcdir/evm-semantics"

make RELEASE=1 K_RELEASE="/usr/lib/kframework" LIBFF_CC=clang LIBFF_CXX=clang++ build-node

}

package() {

cd "$srcdir/evm-semantics"

make RELEASE=1 K_RELEASE="/usr/lib/kframework" DESTDIR="$pkgdir" INSTALL_PREFIX="/usr" install

install -Dm644 LICENSE "$pkgdir/usr/share/licenses/$pkgname/LICENSE"

}