Kup Cheatsheet
K Framework Installer
All K-related tools are managed through the kup
package manager. Below you will find the command to install the K framework, commands available with kup
and flags that allow easy switching between different versions.
Install kup
kup
kup
commands
kup
commandsCommand | Description | Example |
---|---|---|
| List all available packages and their status |
|
| Install or update a |
|
| Uninstall |
|
| Add |
|
| Check if |
|
| Add a private package to | |
| Push a package to a cachix cache (RV developer use) | |
| Output the description of |
|
Installation time: The initial installation of certain packages (e.g., kontrol) may take longer as it needs to fetch all the libraries and compile sources. This process typically takes around 30 mins to 1 hour.
kup
packages management
kup
packages managementThe following flags allow for the installation of different package versions and/or different dependencies versions.
Flag | Usage | Description | Parameters | Example |
---|---|---|---|---|
|
| Install/update |
|
|
|
| Install/update |
|
|
Chaining flags
As an example, let's assume we want to use kontrol
with the following modifications:
Use a local checkout of
kontrol
(for example, after adding a new feature tokontrol
).Use a
haskell-backend
branch (for example, some execution improvements have not yet been upstreamed tokontrol
).Use the Github release
v0.1.461
ofpyk
, which includes a useful new feature.
The line below will allow us to run a version of kontrol
with the above modifications:
As you can see, release tags, local checkouts and branches can be used to build a fine tuned version of any of our tools, kontrol
being the example here. To know the exact naming of the dependencies that a package has one can use kup list $package --inputs
.
Troubleshooting
Making changes to nix.conf (manually or through kup
) has no effect.
kup
) has no effect.Nix configuration files can be stored in many different locations. A full treatment can be found in the Nix manual. Check if you have additional Nix config files, for example in $HOME/.config/nix
. If $HOME/.config/nix
specifies a trusted-users
option, this will override whichever trusted-users
were set in /etc/nix/nix.conf
. Changing the config variable from trusted-users
to extra-trusted-users
means it will only be appended, not overwritten. You can also explicitly set which files Nix should use as config files using the NIX_USER_CONF_FILES
environment variable.
Last updated