mkdir build
cd build
cmake ..
make storm-main