pcre wip

Author: mvorisek

.github/scripts/download-bundled/pcre2.sh

@@ -0,0 +1,12 @@
+#!/bin/sh
+set -e
+
+root_dir=$(cd ../../..; pwd)
+
+commit=5a81104e650ebd7ac24eb63d4dff67db723a5278 # 10.46 release
+
+rm -rf ext/pcre/pcre2lib
+git clone --revision=$commit https://github.com/PCRE2Project/pcre2.git ext/pcre/pcre2lib
+
+cd ext/pcre/pcre2lib
+rm -r .git

.github/scripts/download-bundled/verify-directory-unchanged.sh

@@ -0,0 +1,7 @@
+#!/bin/sh
+set -e
+
+root_dir=$(cd ../../..; pwd)
+
+cd $root_dir/$1
+git add . -N && git diff --cached -a --exit-code . && git diff -a --exit-code .

.github/workflows/verify-bundled-files.yml

@@ -0,0 +1,35 @@
+name: Verify Bundled Files
+
+on:
+  push:
+  pull_request:
+  schedule:
+   - cron: "0 1 * * *"
+  workflow_dispatch: ~
+
+permissions:
+  contents: read
+
+jobs:
+  VERIFY_BUNDLED_FILES:
+    name: Verify Bundled Files
+    runs-on: ubuntu-22.04
+    steps:
+      - name: git checkout
+        uses: actions/checkout@v5
+
+      - uses: dorny/paths-filter@v3
+        id: changes
+        with:
+          base: master
+          filters: |
+            pcre2:
+              - 'ext/pcre/pcre2lib/**'
+
+      - name: PCRE2 - Download
+        if: ${{ !cancelled() && (steps.changes.outputs.pcre2 == 'true' || (github.event_name != 'push' && github.event_name != 'pull_request')) }}
+        run: .github/scripts/download-bundled/pcre2.sh
+
+      - name: PCRE2 - Verify files
+        if: ${{ !cancelled() && (steps.changes.outputs.pcre2 == 'true' || (github.event_name != 'push' && github.event_name != 'pull_request')) }}
+        run: .github/scripts/download-bundled/verify-directory-unchanged.sh ext/pcre/pcre2lib