.github/workflows/push.yml: add job to build out-of-tree extensions

This aims to detect API breakages early by compiling a selection of
out-of-tree extensions in the CI.

Author: MaxKellermann

.github/workflows/push.yml

@@ -140,3 +140,55 @@ jobs:
             -d opcache.jit_buffer_size=16M
       - name: Verify generated files are up to date
         uses: ./.github/actions/verify-generated-files
+  PECL:
+    runs-on: ubuntu-20.04
+    steps:
+      - name: git checkout PHP
+        uses: actions/checkout@v3
+        with:
+          path: php
+      - name: git checkout apcu
+        uses: actions/checkout@v3
+        with:
+          repository: krakjoe/apcu
+          path: apcu
+      - name: git checkout xdebug
+        uses: actions/checkout@v3
+        with:
+          repository: xdebug/xdebug
+          path: xdebug
+      - name: apt
+        run: |
+          sudo apt-get update
+          sudo apt-get install -y --no-install-recommends \
+            ccache \
+            bison \
+            re2c
+      - name: ccache
+        uses: hendrikmuhs/[email protected]
+        with:
+          key: "${{github.job}}-${{hashFiles('main/php_version.h')}}"
+      - name: build PHP
+        run: |
+          cd php
+          ./buildconf --force
+          ./configure \
+            --enable-option-checking=fatal \
+            --prefix=/opt/php \
+            --enable-cli \
+            --disable-all \
+            --enable-werror
+          make -j$(/usr/bin/nproc)
+          sudo make install
+      - name: build APCu
+        run: |
+          cd apcu
+          /opt/php/bin/phpize
+          ./configure --prefix=/opt/php --with-php-config=/opt/php/bin/php-config
+          make -j$(/usr/bin/nproc)
+      - name: build xdebug
+        run: |
+          cd xdebug
+          /opt/php/bin/phpize
+          ./configure --prefix=/opt/php --with-php-config=/opt/php/bin/php-config
+          make -j$(/usr/bin/nproc)