Skip to content

Latest commit

 

History

History
37 lines (24 loc) · 1.25 KB

installations.md

File metadata and controls

37 lines (24 loc) · 1.25 KB
description
Everything you need to install

Installations

Installing Foundry

To install Foundry execute the following command:

curl -L https://foundry.paradigm.xyz | bash

After installation open a new terminal session or reload your PATH and run foundryup.

For other installation methods, go to the Foundry Documentation.

Installing Kontrol

The simplest way to install Kontrol is with the kup package manager. To install kup execute the following command:

bash <(curl https://kframework.org/install)

After installing kup, install Kontrol using kup with the following command:

kup install kontrol

{% hint style="info" %} The first installation of kup will take sometime. Check out the kup-cheatsheet.md for some additional information! {% endhint %}

For detailed instructions on building Kontrol from source, go to the Kontrol repository.