ci/docs: enforce uv checks and document strict uv requirement

Author: zayenz

.github/workflows/build.yml

@@ -7,6 +7,22 @@ env:
   BUILD_TYPE: Release
 
 jobs:
+  guard-build-script-refs:
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v4
+
+    - name: Ensure no stale Perl script references remain in active build paths
+      shell: bash
+      run: |
+        ! rg -n "genvarimp\\.perl|misc/genrc\\.perl" \
+          CMakeLists.txt \
+          cmake/GenerateVarImp.cmake \
+          Makefile.in \
+          misc/genrc.py
+        ! rg -n "PROG_PERL" configure.ac configure.ac.in configure
+
   build-autoconf:
     runs-on: ${{ matrix.os }}
     strategy:
@@ -47,11 +63,18 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [macos-latest, ubuntu-latest]
+        include:
+          - os: macos-latest
+            regenerate_varimp: OFF
+          - os: ubuntu-latest
+            regenerate_varimp: ON
 
     steps:
     - uses: actions/checkout@v4
 
+    - name: Install uv
+      uses: astral-sh/setup-uv@v6
+
     - name: Install Ubuntu build deps
       if: runner.os == 'Linux'
       shell: bash
@@ -68,6 +91,7 @@ jobs:
       run: >
         cmake $GITHUB_WORKSPACE
         -DCMAKE_BUILD_TYPE=$BUILD_TYPE
+        -DGECODE_REGENERATE_VARIMP=${{ matrix.regenerate_varimp }}
 
     - name: Build
       working-directory: ${{github.workspace}}/build
@@ -95,8 +119,8 @@ jobs:
     steps:
     - uses: actions/checkout@v4
 
-    - name: Setup Perl
-      uses: shogo82148/actions-setup-perl@v1
+    - name: Install uv
+      uses: astral-sh/setup-uv@v6
 
     - name: Create Build Environment
       shell: pwsh
@@ -127,6 +151,9 @@ jobs:
     steps:
     - uses: actions/checkout@v4
 
+    - name: Install uv
+      uses: astral-sh/setup-uv@v6
+
     - name: Setup MSYS2
       uses: msys2/setup-msys2@v2
       with:
@@ -141,23 +168,36 @@ jobs:
           make
           m4
           libtool
-          perl
           mingw-w64-ucrt-x86_64-gcc
           mingw-w64-ucrt-x86_64-gmp
           mingw-w64-ucrt-x86_64-mpfr
 
+    - name: Resolve uv path in MSYS2 shell
+      shell: msys2 {0}
+      run: |
+        UV_DIR="$(cygpath "$USERPROFILE/.local/bin")"
+        echo "UV_DIR=$UV_DIR" >> "$GITHUB_ENV"
+        export PATH="$UV_DIR:$PATH"
+        uv --version
+
     - name: Stabilize generated configure script timestamp
       shell: msys2 {0}
       run: touch configure
 
     - name: Configure
       shell: msys2 {0}
-      run: CC=gcc CXX=g++ ./configure --with-host-os=Windows --disable-qt --disable-gist --disable-mpfr
+      run: |
+        export PATH="$UV_DIR:$PATH"
+        CC=gcc CXX=g++ ./configure --with-host-os=Windows --disable-qt --disable-gist --disable-mpfr
 
     - name: Build
       shell: msys2 {0}
-      run: make test -j4
+      run: |
+        export PATH="$UV_DIR:$PATH"
+        make test -j4
 
     - name: Check
       shell: msys2 {0}
-      run: make check
+      run: |
+        export PATH="$UV_DIR:$PATH"
+        make check

README.md

@@ -55,6 +55,9 @@ including MPFR, allocator/audit toggles, visibility, and freelist sizes.
 By default, CMake uses checked-in `gecode/kernel/var-type.hpp` and
 `gecode/kernel/var-imp.hpp`; regeneration is opt-in via
 `-DGECODE_REGENERATE_VARIMP=ON`.
+Build-time script execution requires `uv` on `PATH`. Gecode does not check
+for Python directly; scripts are always run with `uv run --script ...`.
+When `-DGECODE_REGENERATE_VARIMP=ON` is set, CMake also requires `uv`.
 
 Compatibility aliases are still accepted temporarily:
 `ENABLE_THREADS`, `ENABLE_GIST`, `BUILD_EXAMPLES`, `ENABLE_CPPROFILER`.