CI: build debug wheels (#412)

- Added support for building Debug wheels
- storm_build_type() returns build type

Author: volkm

.github/workflows/before-all-linux.sh

@@ -24,7 +24,7 @@ git clone https://github.com/stormchecker/storm.git -b ${STORM_VERSION}
 cd storm
 mkdir build
 cd build
-cmake .. -DSTORM_BUILD_TESTS=OFF -DSTORM_BUILD_EXECUTABLES=OFF -DSTORM_PORTABLE=ON
+cmake .. -DCMAKE_BUILD_TYPE=${CMAKE_BUILD_TYPE:-Release} -DSTORM_BUILD_TESTS=OFF -DSTORM_BUILD_EXECUTABLES=OFF -DSTORM_PORTABLE=ON
 make -j ${NR_JOBS}
 make install
 cd ..

.github/workflows/before-all-macos.sh

@@ -11,7 +11,7 @@ git clone https://github.com/stormchecker/storm.git -b ${STORM_VERSION}
 cd storm
 mkdir build
 cd build
-cmake .. -DSTORM_BUILD_TESTS=OFF -DSTORM_BUILD_EXECUTABLES=OFF -DSTORM_PORTABLE=ON
+cmake .. -DCMAKE_BUILD_TYPE=${CMAKE_BUILD_TYPE:-Release} -DSTORM_BUILD_TESTS=OFF -DSTORM_BUILD_EXECUTABLES=OFF -DSTORM_PORTABLE=ON
 make -j ${NR_JOBS}
 sudo chown runner:admin /usr/local/ # Permission differ in macOS 14, see https://github.com/actions/runner-images/issues/9272
 make install

.github/workflows/create_wheel.yml

@@ -14,11 +14,16 @@ on:
         required: true
         type: string
         default: 'x.y.z'
-      dev_version:
-        description: 'Whether to build a development version for only selected Python versions'
+      full_build:
+        description: 'Build for all Python versions (if false, 3.13 and 3.14 only)'
         required: true
         type: boolean
         default: false
+      build_type:
+        description: 'Build configuration (Release/Debug)'
+        required: false
+        type: string
+        default: 'Release'
       repo:
         description: 'Repository to build from (owner/name)'
         required: false
@@ -43,11 +48,16 @@ on:
         required: true
         type: string
         default: 'x.y.z'
-      dev_version:
-        description: 'Whether to build a development version for only selected Python versions'
+      full_build:
+        description: 'Build for all Python versions (if false, 3.13 and 3.14 only)'
         required: true
         type: boolean
         default: false
+      build_type:
+        description: 'Build configuration (Release/Debug)'
+        required: false
+        type: string
+        default: 'Release'
       repo:
         description: 'Repository to build from (owner/name)'
         required: false
@@ -104,26 +114,34 @@ jobs:
       - name: Prepare version
         run: perl -i -pe 's/__version__ = "[^"]+"/__version__ = "'"${{ inputs.version }}"'"/' lib/stormpy/_version.py
       - name: Build wheels (development)
-        if: ${{ inputs.dev_version }}
+        if: ${{ !inputs.full_build }}
         uses: pypa/cibuildwheel@v3.4.1
         env:
           CIBW_PLATFORM: ${{ matrix.platform }}
           CIBW_ARCHS: ${{ matrix.archs }}
           MACOSX_DEPLOYMENT_TARGET: ${{ matrix.deploy_target }}
           # Build development version only on latest Python versions
           CIBW_BUILD: "cp313-* cp314-*"
-          CIBW_ENVIRONMENT: STORM_VERSION=${{ inputs.storm_version }} NR_JOBS=4
+          CIBW_CONFIG_SETTINGS: cmake.build-type=${{ inputs.build_type }}
+          CIBW_ENVIRONMENT: >-
+            STORM_VERSION=${{ inputs.storm_version }}
+            NR_JOBS=4
+            CMAKE_BUILD_TYPE=${{ inputs.build_type }}
       - name: Build wheels (stable)
-        if: ${{ !inputs.dev_version }}
+        if: ${{ inputs.full_build }}
         uses: pypa/cibuildwheel@v3.4.1
         env:
           CIBW_PLATFORM: ${{ matrix.platform }}
           CIBW_ARCHS: ${{ matrix.archs }}
           MACOSX_DEPLOYMENT_TARGET: ${{ matrix.deploy_target }}
-          CIBW_ENVIRONMENT: STORM_VERSION=${{ inputs.storm_version }} NR_JOBS=4
+          CIBW_CONFIG_SETTINGS: cmake.build-type=${{ inputs.build_type }}
+          CIBW_ENVIRONMENT: >-
+            STORM_VERSION=${{ inputs.storm_version }}
+            NR_JOBS=4
+            CMAKE_BUILD_TYPE=${{ inputs.build_type }}
       - uses: actions/upload-artifact@v7
         with:
-          name: stormpy-wheels-${{ matrix.os }}
+          name: stormpy-wheels-${{ matrix.os }}-${{ inputs.build_type }}
           path: ./wheelhouse/*.whl
 
 
@@ -177,7 +195,7 @@ jobs:
     steps:
       - uses: actions/download-artifact@v8
         with:
-          pattern: stormpy-wheels-${{ matrix.arch.name }}
+          pattern: stormpy-wheels-${{ matrix.arch.name }}-${{ inputs.build_type }}
           path: dist
           merge-multiple: true
       - name: Checkout test files (default current repo)
@@ -266,7 +284,7 @@ jobs:
           xcode-version: ${{ matrix.distro.xcode }}
       - uses: actions/download-artifact@v8
         with:
-          pattern: stormpy-wheels-${{ matrix.distro.os }}
+          pattern: stormpy-wheels-${{ matrix.distro.os }}-${{ inputs.build_type }}
           path: dist
           merge-multiple: true
       - name: Install from wheel

.github/workflows/release.yml

@@ -73,7 +73,8 @@ jobs:
     with:
       storm_version: ${{ needs.env_storm_version.outputs.storm_version }}
       version: ${{ github.event.release.tag_name }}
-      dev_version: false
+      full_build: true
+      build_type: Release
     secrets: inherit
 
   upload_pypi:

CMakeLists.txt

@@ -225,8 +225,9 @@ endif()
 # Set number types from Carl
 set_variable_string(STORM_USE_CLN_EA_BOOL ${STORM_USE_CLN_EA})
 set_variable_string(STORM_USE_CLN_RF_BOOL ${STORM_USE_CLN_RF})
-set_variable_string(STORMPY_PRETEND_FETCH ${STORMPY_INFO_PRETEND_FETCH})
 set_variable_string(STORM_DEVELOPER_VERSION ${STORM_VERSION_DEV})
+set(STORM_BUILD_TYPE "\"${CMAKE_BUILD_TYPE}\"")
+set_variable_string(STORMPY_PRETEND_FETCH ${STORMPY_INFO_PRETEND_FETCH})
 if (STORM_FETCHED_FROM_REPO)
     set(STORM_ORIGIN_REPO "\"${STORM_FETCHED_FROM_REPO}\"")
 else()

cmake/info_config.py.in

@@ -2,6 +2,7 @@
 
 STORM_VERSION = "@STORM_VERSION@"
 STORM_DEVELOPER_VERSION = @STORM_DEVELOPER_VERSION@
+STORM_BUILD_TYPE = @STORM_BUILD_TYPE@
 STORM_DIRECTORY = @STORM_DIR@
 STORM_ORIGIN_REPO =  @STORM_ORIGIN_REPO@
 STORM_ORIGIN_TAG = @STORM_ORIGIN_TAG@

lib/stormpy/info/__init__.py

@@ -32,6 +32,16 @@ def storm_development_version() -> bool:
     return _config.STORM_DEVELOPER_VERSION
 
 
+def storm_build_type() -> str:
+    """
+    Get the build type of stormpy (e.g. Release, Debug).
+
+    :return: Build type string
+    :rtype: str
+    """
+    return _config.STORM_BUILD_TYPE
+
+
 def storm_origin_info() -> [str | None, str | None]:
     """
     Information about the source of Storm: the repo path, the repo tag and commit hash.

tests/info/test_info.py

@@ -11,6 +11,10 @@ def test_version_equal(self):
         assert stormpy.info.storm_version() in stormpy.info.Version.short
         assert (stormpy.info.Version.development and stormpy.info.Version.short.endswith(" (dev)")) or not stormpy.info.Version.development
 
+    def test_build_type(self):
+        bt = stormpy.info.storm_build_type()
+        assert bt in ("Debug", "Release")
+
     def test_origin_info(self):
         repo, tag, h = stormpy.info.storm_origin_info()
         assert repo is None or isinstance(repo, str)