Installing Storm
This page is a part of the Debian package for Storm. As such you will only find the relevant instructions below. See upstream's webpage for additional instructions.
Linux
Storm requires a 64-bit CPU to run on Linux. Storm supports both x86-64 (AMD64) and ARM (ARMv8) CPUs on Linux, and is thus able to run on everything from desktops to small single-board computers.
To install Storm, you have two options:
Using the Package Manager
If you are running a recent Debian-based system, you can install Storm from the system's package manager. Note, however, that due to the release cycles of Debian-based systems, the version you will get this way is likely a bit older than what is available through this page. This is usually not a problem, but something to be aware of in case something on the Storm webpage does not match what is available in your installation.
To install from the package manager, simply run the following command in a terminal:
sudo apt install storm-lang
By default, this will install Storm itself, and all libraries that are mentioned on this page. It
is also possible to install different libraries separately if desired (the packages are named
storm-lang-X where X is the name of the library).
After this, you can start Storm by typing storm in your terminal. Progvis is available either
through the command progvis or through the launcher menu (assumes that the progvis package was
installed).