Skip to content

KEVM Release v1.0.0
Compare
Choose a tag to compare
@rv-jenkins rv-jenkins released this 31 Jul 17:51
· 1583 commits to master since this release
v1.0.0-a47e4b2
a47e4b2

Installing Release Builds

These instructions explain how to download, install, and build the KEVM packages.
Current supported systems are:

  • Mac OS
  • Ubuntu Bionic (18.04)

Downloading Packages

We release our packages on GitHub, visit the Releases page to see available versions.
Releases are generated as often as possible from the master branch of the repository.

Installing Packages

Ubuntu/Debian

Install the package with (X.Y.Z is version number, ID is platform identifier):

sudo apt install ./kevm_X.Y.Z_amd64_ID.deb

Building Packages

Make sure to bump the version numbers in the following places:

  • RELEASE_ID in Jenkinsfile,
  • version number in package/debian/changelog.

If these numbers do not agree, then building the release will not work.

Ubuntu/Debian

Build the package in by running:

cp -r package/debian ./
dpkg-buildpackage --no-sign

This will throw an error for any missing build dependencies, install them with sudo apt install ....
The kevm_X.Y.Z_amd64_ID.deb package will be placed one directory up from the repository root.

Mac OS

Install the package by running:

brew install kframework/k/kevm
Assets 5
Loading