Releases: runtimeverification/evm-semantics
KEVM VM version 1.0.0 beta 3
cmake flags to libff (#409) * cmake flags to libff * add empty variable declaration
KEVM Release 1.0.0 - 9ae34f5
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
inJenkinsfile
,pkgver
inpackage/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 build dependencies you're missing, 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 2
don't run git if submodules are already initialized (#408) * don't run git if submodules are already initialized * don't run git on libff either if it already exists
KEVM version 1.0.0 beta 1
v1.0.0b1 Jenkinsfile: avoid creating agenst when not needed (#405)
KEVM Release 1.0.0 - c01d92f
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
inJenkinsfile
,pkgver
inpackage/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 build dependencies you're missing, 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.