Merge branch 'moves-rwth:master' into master

.github/workflows/Dockerfile.archlinux

@@ -0,0 +1,53 @@
+# Base Dockerfile for using Storm on Archlinux
+##############################################
+# The Docker image can be built by executing:
+# docker build -t yourusername/storm .
+
+FROM archlinux:latest
+MAINTAINER Matthias Volk <[email protected]>
+
+# Specify configurations
+# These configurations can be set from the commandline with:
+# --build-arg <config_name>=<value>
+# CMake build type
+ARG build_type=Release
+# Specify number of threads to use for parallel compilation
+ARG no_threads=1
+# Specify CMake arguments for Storm
+ARG cmake_args="-DSTORM_PORTABLE=ON -DSTORM_USE_SPOT_SHIPPED=ON"
+# Additional packages
+ARG packages=""
+
+# Install dependencies
+######################
+RUN pacman -Syu --noconfirm # Updates needed as Archlinux is rolling release
+RUN pacman -S --noconfirm base-devel git cmake boost cln gmp ginac glpk hwloc z3 xerces-c eigen $packages
+
+
+# Build Storm
+#############
+RUN mkdir /opt/storm
+WORKDIR /opt/storm
+
+# Copy the content of the current local Storm repository into the Docker image
+COPY . .
+
+# Switch to build directory
+RUN mkdir -p /opt/storm/build
+WORKDIR /opt/storm/build
+
+# Configure Storm
+RUN cmake .. -DCMAKE_BUILD_TYPE=$build_type $cmake_args
+
+# Build external dependencies of Storm
+RUN make resources -j $no_threads
+
+# Build Storm binary
+RUN make storm -j $no_threads
+
+# Build additional binaries of Storm
+# (This can be skipped or adapted depending on custom needs)
+RUN make binaries -j $no_threads
+
+# Set path
+ENV PATH="/opt/storm/build/bin:$PATH"

.github/workflows/Dockerfile.carl_implicit

@@ -0,0 +1,50 @@
+# Base Dockerfile for using Storm
+#################################
+# The Docker image can be built by executing:
+# docker build -t yourusername/storm .
+# A different base image can be set from the commandline with:
+# --build-arg STORM_BASE=<new_base_image>
+
+# Set base image
+ARG BASE_IMG=movesrwth/storm-basesystem:latest
+FROM $BASE_IMG
+MAINTAINER Matthias Volk <[email protected]>
+
+# Specify configurations
+# These configurations can be set from the commandline with:
+# --build-arg <config_name>=<value>
+# CMake build type
+ARG build_type=Release
+# Specify number of threads to use for parallel compilation
+ARG no_threads=1
+# Specify CMake arguments for Storm
+ARG cmake_args="-DSTORM_PORTABLE=ON -DSTORM_USE_SPOT_SHIPPED=ON"
+
+
+# Build Storm
+#############
+RUN mkdir /opt/storm
+WORKDIR /opt/storm
+
+# Copy the content of the current local Storm repository into the Docker image
+COPY . .
+
+# Switch to build directory
+RUN mkdir -p /opt/storm/build
+WORKDIR /opt/storm/build
+
+# Configure Storm
+RUN cmake .. -DCMAKE_BUILD_TYPE=$build_type $cmake_args
+
+# Build external dependencies of Storm
+RUN make resources -j $no_threads
+
+# Build Storm binary
+RUN make storm -j $no_threads
+
+# Build additional binaries of Storm
+# (This can be skipped or adapted depending on custom needs)
+RUN make binaries -j $no_threads
+
+# Set path
+ENV PATH="/opt/storm/build/bin:$PATH"