☑ Centos 7.4
☐ Ubuntu 14.04
☐ Ubuntu 16.04

Sources obtained from https://github.com/moves-rwth/storm

• gcc 5.3, >=6 (Built with 6.3.0. 7.1.0 failed)
• clang >=3.5 (Built with 3.10)
• cmake
• boost 1.67.0
• cln yum install cln.x86_64 cln-devel.x86_64
• hwloc yum install hwloc.x86_64 hwloc-devel.x86_64
• makeinfo / texinfo yum install texinfo

ktm5j@applecake /pool/src-linux $ module load gcc-6.3.0 clang-llvm cmake boost
ktm5j@applecake /pool/src-linux $ tar -xf /sw/pkgs/storm-1.2.1.tar.gz 
ktm5j@applecake /pool/src-linux/storm-1.2.1 $ export STORM_DIR=`pwd`
ktm5j@applecake /pool/src-linux/storm-1.2.1 $ mkdir -p /sw/centos/storm/1.2.1/
ktm5j@applecake /pool/src-linux/storm-1.2.1 $ cd /sw/centos/storm/1.2.1/
ktm5j@applecake /sw/centos/storm/1.2.1 $ cmake $STORM_DIR
ktm5j@applecake /sw/centos/storm/1.2.1 $ make -j8

#%Module1.0#####################################################################
##
## modules storm 1.2.1
##
## modulefiles/storm
##
proc ModulesHelp { } {
        global version modroot

        puts stderr "storm version 1.2.1"
}

module-whatis   "Sets the environment for using storm"

# for Tcl script use only
set     topdir          /sw/centos/storm/1.2.1
set     version         1.2.1

module load gcc-6.3.0

prepend-path    PATH            $topdir/bin
prepend-path    LD_LIBRARY_PATH $topdir/lib
prepend-path    LD_INCLUDE_PATH $topdir/include