Autobuild STORM in CMakeLists.txt

[ifndefJOSH]

STORM is able to do this using a resources folder with just a CMakeLists.txt for each third party resources. I'm not sure yet how to do this, but this would be a good contribution, especially for our GitHub workflows.

[glunkad]

Hey @ifndefJOSH , I'm interested in contributing to this issue, so before I start working on it, would you mind sparing your time explaining what the issue is about and pointing me to some resources to get started.

[ifndefJOSH]

Hi @9gl , thanks for your interest! STAMINA depends on a model-checking engine called STORM, located at https://github.com/moves-rwth/storm. Last week I created a GitHub workflow to autobuild STAMINA (see cmake.yml), however, the CMakeLists.txt we use assumes that STORM is already installed, and fails to create a makefile if STORM does not exist. There is a way to make it so a CMakeLists clones/auto-builds a dependency repository. I know this because STORM does it with several of its dependencies. The command in CMake to do this has to do with ExternalProject

Resources:

• How STORM does it: https://github.com/moves-rwth/storm/blob/master/resources/3rdparty/carl/CMakeLists.txt (or any CMakeLists in 3rdparty)
• CMake documentation: https://cmake.org/cmake/help/latest/module/ExternalProject.html

Ideally, I would like it to put STORM in a resources folder before building STAMINA

Thanks!

[ifndefJOSH]

Oh, and make sure you check out the style guide before contributing. Thanks!

[ifndefJOSH]

CMake action disabled until this is complete