KEVM Release v1.0.0

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

KEVM Release v1.0.0-9996303

Installing Release Builds

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

• Arch Linux
• 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

Arch

Install the package with (X.Y.Z-V is version number):

sudo pacman -U ./kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz

Building Packages

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

• RELEASE_ID in Jenkinsfile,
• pkgver in package/PKGBUILD, and
• 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.

Arch

Build the package with:

cd package
makepkg -s

This will put kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz in the current directory.

KEVM Release v1.0.0-778f7ab

Installing Release Builds

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

• Arch Linux
• 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

Arch

Install the package with (X.Y.Z-V is version number):

sudo pacman -U ./kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz

Building Packages

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

• RELEASE_ID in Jenkinsfile,
• pkgver in package/PKGBUILD, and
• 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.

Arch

Build the package with:

cd package
makepkg -s

This will put kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz in the current directory.

KEVM Release v1.0.0-c7cd5b9

Installing Release Builds

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

• Arch Linux
• 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

Arch

Install the package with (X.Y.Z-V is version number):

sudo pacman -U ./kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz

Building Packages

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

• RELEASE_ID in Jenkinsfile,
• pkgver in package/PKGBUILD, and
• 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.

Arch

Build the package with:

cd package
makepkg -s

This will put kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz in the current directory.

KEVM VM version 1.0.0 beta 6

v1.0.0b6

deps/plugin: update submodule (#415)

KEVM Release v1.0.0-84e09b2

Installing Release Builds

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

• Arch Linux
• 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

Arch

Install the package with (X.Y.Z-V is version number):

sudo pacman -U ./kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz

Building Packages

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

• RELEASE_ID in Jenkinsfile,
• pkgver in package/PKGBUILD, and
• 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.

Arch

Build the package with:

cd package
makepkg -s

This will put kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz in the current directory.

KEVM Release v1.0.0-2f9c2c9

Installing Release Builds

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

• Arch Linux
• 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

Arch

Install the package with (X.Y.Z-V is version number):

sudo pacman -U ./kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz

Building Packages

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

• RELEASE_ID in Jenkinsfile,
• pkgver in package/PKGBUILD, and
• 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.

Arch

Build the package with:

cd package
makepkg -s

This will put kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz in the current directory.

KEVM Release v1.0.0-abb6e98

Installing Release Builds

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

• Arch Linux
• 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

Arch

Install the package with (X.Y.Z-V is version number):

sudo pacman -U ./kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz

Building Packages

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

• RELEASE_ID in Jenkinsfile,
• pkgver in package/PKGBUILD, and
• 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.

Arch

Build the package with:

cd package
makepkg -s

This will put kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz in the current directory.

KEVM VM version 1.0.0 beta 5

autodetect procps (#411)

* autodetect procps

* fix typo

* deps/plugin: update plugin submodule

KEVM VM version 1.0.0 beta 4

v1.0.0b4

another git issue (#410)