From af8f88cec5c1821d19bb772c3cf5bcdd128e6b2d Mon Sep 17 00:00:00 2001 From: Benjamin Dauvergne Date: Mon, 9 Sep 2019 13:35:36 +0200 Subject: [PATCH 3/3] debian: disable php7 (#28608) --- debian-jessie/rules | 1 + debian-stretch/rules | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/debian-jessie/rules b/debian-jessie/rules index 9e6598a4..dceb391e 100644 --- a/debian-jessie/rules +++ b/debian-jessie/rules @@ -51,6 +51,7 @@ CONFIGURE_ARGS := \ --disable-gtk-doc \ --enable-perl \ --with-php5-config-dir=/etc/php5/mods-available/ + --disable-php7 ifeq ($(with_java),yes) diff --git a/debian-stretch/rules b/debian-stretch/rules index 5408bc76..26a13ed4 100755 --- a/debian-stretch/rules +++ b/debian-stretch/rules @@ -61,9 +61,9 @@ else endif ifeq ($(with_php),yes) - CONFIGURE_ARGS += --enable-php5 --with-php5-config-dir=/etc/php5/mods-available/ + CONFIGURE_ARGS += --enable-php5 --with-php5-config-dir=/etc/php5/mods-available/ --enable-php7 --with-php7-config-dir=/etc/php/7.3/mods-available/ else - CONFIGURE_ARGS += --disable-php5 + CONFIGURE_ARGS += --disable-php5 --disable-php7 endif -- 2.23.0.rc1