Read-only: The Nix expressions for the K Framework have moved upstream.

nixpkgs-kframework

Nixpkgs overlay for K Framework packages.

This overlay provides Nix expressions for these packages:

K 5
OCaml 4.06.1+k

Usage

Standalone

To build standalone packages, select an attribute from release.nix:

nix build -f release.nix k

To build all the packages this overlay provides (e.g. for testing):

nix build -f release.nix

As an overlay

The Nixpkgs manual describes how to use overlays with your system or project configuration.

Binary cache

A binary cache for the x86_64-linux platform is updated automatically. Please see ttuegel.cachix.org for instructions to use the cache.

Notes

Updating K

# In ./pkgs/k,
./update.sh

# In ./,
./check.sh

# If the build fails,
nix build -f release.nix mvnix
./result/bin/mvnix-update -E '(import ./release.nix).k'