update Dockerfile

.github/workflows/buildtest.yml

@@ -57,7 +57,7 @@ jobs:
       - name: Git clone
         uses: actions/checkout@v4
       - name: Build paynt image from Dockerfile
-        run: docker build -t ${{ matrix.buildType.imageName }}:${{ matrix.buildType.dockerTag }} . --build-arg setup_args=${{ matrix.buildType.setupArgs }} --build-arg setup_args_pycarl=${{ matrix.buildType.setupArgs }} --build-arg no_threads=${NR_JOBS}
+        run: docker build -t ${{ matrix.buildType.imageName }}:${{ matrix.buildType.dockerTag }} . --build-arg BASE_IMG=randriu/stormpy-alex --build-arg setup_args=${{ matrix.buildType.setupArgs }} --build-arg no_threads=${NR_JOBS}
       - name: Login into docker
         # Only login if using mdp on original repo (and not for pull requests or forks)
         if: github.repository_owner == 'randriu'

Dockerfile

@@ -1,8 +1,13 @@
-FROM movesrwth/stormpy:ci
+# usage: docker build -t yourusername/paynt .
+# command-line arguments can be specified e.g. as follows: --build-arg no_threads=8
 
-# Additional arguments for compiling payntbind
+# base image
+ARG BASE_IMG=movesrwth/stormpy:ci
+FROM $BASE_IMG
+
+# additional arguments for compiling payntbind
 ARG setup_args=""
-# Number of threads to use for parallel compilation
+# number of threads to use for parallel compilation
 ARG no_threads=2
 
 WORKDIR /opt/