Added HiGHS library

.github/workflows/basesystem.yml

@@ -33,11 +33,11 @@ jobs:
         image:
           - {name: "debian-12",
              baseImg: "debian:12",
-             file: "storm-basesystem/Dockerfile"
+             file: "storm-basesystem/Dockerfile.wohighs"
             }
           - {name: "ubuntu-24.04",
              baseImg: "ubuntu:24.04",
-             file: "storm-basesystem/Dockerfile"
+             file: "storm-basesystem/Dockerfile.wohighs"
             }
           - {name: "debian-13",
              baseImg: "debian:13",

storm-basesystem/Dockerfile

@@ -27,5 +27,6 @@ RUN apt-get update -qq && apt-get install -y --no-install-recommends \
     libginac-dev \
     libglpk-dev \
     libgmp-dev \
+    libhighs-dev \
     libxerces-c-dev \
     libz3-dev

storm-basesystem/Dockerfile.wohighs

@@ -0,0 +1,33 @@
+# Base Dockerfile for Storm dependencies
+########################################
+# This image is without the HiGHS library which is not
+# supported by Debian 12 and Ubuntu 24.04
+# The Docker image can be built by executing:
+# docker build -t yourusername/storm-basesystem .
+# A different Linux base system image can be set from the commandline with:
+# --build-arg BASE_IMAGE=<new_base_image>
+
+# Set Linux base image
+ARG BASE_IMAGE=ubuntu:rolling
+FROM $BASE_IMAGE
+LABEL org.opencontainers.image.authors="dev@stormchecker.org"
+
+ENV DEBIAN_FRONTEND=noninteractive
+
+# Install dependencies
+# - ca-certificates is needed for cloning from Github
+# - all other dependencies are the recommended packages for Storm (see https://www.stormchecker.org/documentation/obtain-storm/dependencies.html#-debian-and--ubuntu)
+RUN apt-get update -qq && apt-get install -y --no-install-recommends \
+    automake \
+    ca-certificates \
+    build-essential \
+    cmake \
+    git \
+    libarchive-dev \
+    libboost-dev \
+    libcln-dev \
+    libginac-dev \
+    libglpk-dev \
+    libgmp-dev \
+    libxerces-c-dev \
+    libz3-dev