KEVM Release v1.0.0-e60e04b

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-58cab80

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

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-0ef8fd6

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

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-1f5e719

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

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