do not use diffmark with PHP 8.x (not yet supported)

pull/386/head
Laurent Laville 2021-07-11 08:49:56 +02:00
parent fefe3c4fd5
commit b9f5049d92
1 changed files with 2 additions and 2 deletions

View File

@ -2246,8 +2246,8 @@ installRemoteModule() {
fi fi
;; ;;
xmldiff) xmldiff)
# whether to use system diffmark library # whether to use system diffmark library (not yet supported with PHP 8.x)
addConfigureOption 'with-libdiffmark' 'yes' addConfigureOption 'with-libdiffmark' 'no'
;; ;;
xlswriter) xlswriter)
if test -z "$installRemoteModule_version" || test $(compareVersions "$installRemoteModule_version" 1.2.7) -ge 0; then if test -z "$installRemoteModule_version" || test $(compareVersions "$installRemoteModule_version" 1.2.7) -ge 0; then