Fixes for CI runners

Author: zayenz

.github/workflows/build.yml

@@ -16,6 +16,17 @@ jobs:
     steps:
     - uses: actions/checkout@v4
 
+    - name: Install Ubuntu build deps
+      if: runner.os == 'Linux'
+      shell: bash
+      run: |
+        sudo apt-get update
+        sudo apt-get install -y flex bison libgmp-dev libmpfr-dev
+
+    - name: Stabilize generated configure script timestamp
+      shell: bash
+      run: touch configure
+
     - name: Configure
       shell: bash
       run: ./configure
@@ -39,6 +50,13 @@ jobs:
     steps:
     - uses: actions/checkout@v4
 
+    - name: Install Ubuntu build deps
+      if: runner.os == 'Linux'
+      shell: bash
+      run: |
+        sudo apt-get update
+        sudo apt-get install -y flex bison libgmp-dev libmpfr-dev
+
     - name: Create Build Environment
       run: cmake -E make_directory ${{github.workspace}}/build
 
@@ -76,27 +94,27 @@ jobs:
     steps:
     - uses: actions/checkout@v4
 
+    - name: Setup Perl
+      uses: shogo82148/actions-setup-perl@v1
+
     - name: Create Build Environment
-      shell: bash
-      run: cmake -E make_directory ${{github.workspace}}/build
+      shell: pwsh
+      run: cmake -E make_directory "${{ github.workspace }}\\build"
 
     - name: Configure CMake
-      shell: bash
-      working-directory: ${{github.workspace}}/build
+      shell: pwsh
       run: >
-        cmake $GITHUB_WORKSPACE
-        -DCMAKE_BUILD_TYPE=$BUILD_TYPE
+        cmake -S "${{ github.workspace }}" -B "${{ github.workspace }}\\build"
+        -G "Visual Studio 17 2022" -A x64
         -DGECODE_ENABLE_QT=OFF
         -DGECODE_ENABLE_GIST=OFF
         -DGECODE_BUILD_SHARED=${{ matrix.build_shared }}
         -DGECODE_BUILD_STATIC=${{ matrix.build_static }}
 
     - name: Build
-      working-directory: ${{github.workspace}}/build
-      shell: bash
-      run: cmake --build . --config $BUILD_TYPE
+      shell: pwsh
+      run: cmake --build "${{ github.workspace }}\\build" --config ${{ env.BUILD_TYPE }}
 
     - name: Build test binary
-      working-directory: ${{github.workspace}}/build
-      shell: bash
-      run: cmake --build . --config $BUILD_TYPE --target gecode-test
+      shell: pwsh
+      run: cmake --build "${{ github.workspace }}\\build" --config ${{ env.BUILD_TYPE }} --target gecode-test

examples/CMakeLists.txt

@@ -47,8 +47,16 @@ macro (GECODE_EXAMPLE NAME)
 endmacro ()
 
 file(GLOB EXAMPLE_FILES *.cpp)
+set(GECODE_MPFR_EXAMPLES
+  archimedean-spiral
+  golden-spiral)
 foreach (EXAMPLE_FILE ${EXAMPLE_FILES})
 	get_filename_component(EXAMPLE_NAME ${EXAMPLE_FILE} NAME_WE)
+	if (EXAMPLE_NAME IN_LIST GECODE_MPFR_EXAMPLES AND
+	    (NOT GECODE_ENABLE_FLOAT_VARS OR NOT GECODE_ENABLE_MPFR OR NOT MPFR_FOUND))
+		message("-- Skipping example: " ${EXAMPLE_NAME} " (requires MPFR float support)")
+		continue()
+	endif()
 	message("-- Adding example: " ${EXAMPLE_NAME})
 	gecode_example(${EXAMPLE_NAME})
 endforeach()