Installation Guide

How to install smc_storm

Use deployed binaries

We provide pre-built binaries that can be used on Ubuntu. They can be found at the Releases page.

To install them on your machine, extract smc_storm_executable.tar.gz and follow these steps:

cd smc_storm_executable            # This is the extracted archive
install.sh --install-dependencies  # This flag will install all  packages required by smc_storm and its dependencies
export PATH=$PATH:$PWD/bin         # This way, smc_storm can be called from anywhere
smc_storm --help                   # Make sure the binary runs

Build from source

Install STORM

smc_storm needs STORM to be built on the local machine. To achieve that, follow the official documentation.

In order to get the latest features, we recommend using the master branch, which provides support for the trigonometric operators that are not supported yet in the stable branch.

We used the following command to build STORM:

export STORM_DIR=<path-to-storm-repo>
cmake -DSTORM_USE_SPOT_SHIPPED=ON $STORM_DIR && make -j10

Install smc_storm

Once STORM is installed, smc_storm can be built using the following:

cd <path-to-smc-storm-repo>
mkdir build
cd build
cmake .. -DCMAKE_BUILD_TYPE=Release && make -j4

Make smc_storm available from anywhere

In order to be able to call smc_storm from anywhere in bash, you can add the smc_storm path to the PATH env variable:

export PATH=$PATH:<path-to-smc-storm-repo-bin>

The path will depend on the used installation strategy: * If you used the pre-built binaries, the path will be <path-to-workspace>/smc_storm_executable/bin * If you built from source, the path will be <path-to-workspace>/smc_storm/build/bin

The <path-to-workspace> is the directory where you extracted the pre-built binaries or where you cloned the smc_storm repository.

Verify the installation works

To verify that the binaries are able to execute, you can try to run it and check the execution terminates correctly:

smc_storm --help