KEVM Release v1.0.0-a12d133

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-9931dc8

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

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-8167a3f

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-70e3f47

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-8bbaf04

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

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

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

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

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.