KEVM Release v1.0.0-e913bf1

Installing Release Builds

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

• Ubuntu Bionic (18.04)
• Debian Buster
• Mac OS X Mojave

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

Mac OS X Mojave

Tap the kframework/k bottle then install the downloaded kevm bottle:

brew tap kframework/k "file:///$(pwd)"
brew install "kevm--X.Y.Z.mojave.bottle.tar.gz" -v

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

Installing Release Builds

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

• Ubuntu Bionic (18.04)
• Debian Buster
• Mac OS X Mojave

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

Mac OS X Mojave

Tap the kframework/k bottle then install the downloaded kevm bottle:

brew tap kframework/k "file:///$(pwd)"
brew install "kevm--X.Y.Z.mojave.bottle.tar.gz" -v

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-2cc646c

Installing Release Builds

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

• Ubuntu Bionic (18.04)
• Debian Buster
• Mac OS X Mojave

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

Mac OS X Mojave

Tap the kframework/k bottle then install the downloaded kevm bottle:

brew tap kframework/k "file:///$(pwd)"
brew install "kevm--X.Y.Z.mojave.bottle.tar.gz" -v

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-62b5439

Installing Release Builds

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

• Ubuntu Bionic (18.04)
• Debian Buster
• Mac OS X Mojave

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

Mac OS X Mojave

Tap the kframework/k bottle then install the downloaded kevm bottle:

brew tap kframework/k "file:///$(pwd)"
brew install "kevm--X.Y.Z.mojave.bottle.tar.gz" -v

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

Installing Release Builds

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

• Ubuntu Bionic (18.04)
• Debian Buster
• Mac OS X Mojave

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

Mac OS X Mojave

Tap the kframework/k bottle then install the downloaded kevm bottle:

brew tap kframework/k "file:///$(pwd)"
brew install "kevm--X.Y.Z.mojave.bottle.tar.gz" -v

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-852e14e

Installing Release Builds

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

• Ubuntu Bionic (18.04)
• Debian Buster
• Mac OS X Mojave

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

Mac OS X Mojave

Tap the kframework/k bottle then install the downloaded kevm bottle:

brew tap kframework/k "file:///$(pwd)"
brew install "kevm--X.Y.Z.mojave.bottle.tar.gz" -v

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-2680b07

Installing Release Builds

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

• Ubuntu Bionic (18.04)
• Debian Buster
• Mac OS X Mojave

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

Mac OS X Mojave

Tap the kframework/k bottle then install the downloaded kevm bottle:

brew tap kframework/k "file:///$(pwd)"
brew install "kevm--X.Y.Z.mojave.bottle.tar.gz" -v

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-7470a62

Installing Release Builds

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

• Ubuntu Bionic (18.04)
• Debian Buster
• Mac OS X Mojave

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

Mac OS X Mojave

Tap the kframework/k bottle then install the downloaded kevm bottle:

brew tap kframework/k "file:///$(pwd)"
brew install "kevm--X.Y.Z.mojave.bottle.tar.gz" -v

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-4ba280d

Installing Release Builds

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

• Ubuntu Bionic (18.04)
• Debian Buster
• Mac OS X Mojave

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

Mac OS X Mojave

Tap the kframework/k bottle then install the downloaded kevm bottle:

brew tap kframework/k "file:///$(pwd)"
brew install "kevm--X.Y.Z.mojave.bottle.tar.gz" -v

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

Installing Release Builds

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

• Ubuntu Bionic (18.04)
• Debian Buster

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,
• 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.