From b9f5049d92fe244dd3b5492dfce5fbf42914ebe8 Mon Sep 17 00:00:00 2001
From: Laurent Laville <laurent.laville@gmail.com>
Date: Sun, 11 Jul 2021 08:49:56 +0200
Subject: [PATCH] do not use diffmark with PHP 8.x (not yet supported)

---
 install-php-extensions | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/install-php-extensions b/install-php-extensions
index 8073322..9f7e401 100755
--- a/install-php-extensions
+++ b/install-php-extensions
@@ -2246,8 +2246,8 @@ installRemoteModule() {
 			fi
 			;;
 		xmldiff)
-			# whether to use system diffmark library
-			addConfigureOption 'with-libdiffmark' 'yes'
+			# whether to use system diffmark library (not yet supported with PHP 8.x)
+			addConfigureOption 'with-libdiffmark' 'no'
 			;;
 		xlswriter)
 			if test -z "$installRemoteModule_version" || test $(compareVersions "$installRemoteModule_version" 1.2.7) -ge 0; then