debian: disable php7 (#28608)

This commit is contained in:
Benjamin Dauvergne 2019-09-09 13:35:36 +02:00
parent e2ec5a7349
commit af8f88cec5
2 changed files with 3 additions and 2 deletions

View File

@ -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)

View File

@ -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